 | | | STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
| | | | | | |
Series edited by
P.
Suppes
S.
Abramsky
S.
Artemov
A.
Kechris
A.
Pillay
R.A.
Shore
Dov M.
Gabbay
, King's College London, UK
Description
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
| | | | | |
Volumes in series
| | | | | 150 | | Relation Algebras, 150
To order this title, and for more information, click here
By Roger Maddux
ISBN-13: 978-0-444-52013-5,
ISBN-10: 0-444-52013-9, Year: 2006, GBP 150, USD 235, EUR 200
| | | | | 149 | | Lectures on the Curry-Howard Isomorphism, 149
To order this title, and for more information, click here
By Morten Heine Sørensen, Pawel Urzyczyn
ISBN-13: 978-0-444-52077-7,
ISBN-10: 0-444-52077-5, Year: 2006, USD 145, EUR 120, GBP 83
| | | | | 148 | | Many-Dimensional Modal Logics: Theory and Applications, 148
To order this title, and for more information, click here
By A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay
ISBN-13: 978-0-444-50826-3,
ISBN-10: 0-444-50826-0, Year: 2003, GBP 100, USD 170, EUR 150
| | | | | 147 | | Relation Algebras by Games, 147
To order this title, and for more information, click here
By R. Hirsch, I. Hodkinson
ISBN-13: 978-0-444-50932-1,
ISBN-10: 0-444-50932-1, Year: 2002, GBP 88, USD 150, EUR 132
| | | | | 146 | | Rudiments of μ-calculus, 146
To order this title, and for more information, click here
Edited By A. Arnold, D. Niwinski
ISBN-13: 978-0-444-50620-7,
ISBN-10: 0-444-50620-9, Year: 2001, USD 96.95, GBP 57, EUR 85
| | | 144 | | Computable Structures and the Hyperarithmetical Hierarchy, 144
To order this title, and for more information, click here
By C.J. Ash, J. Knight
ISBN-13: 978-0-444-50072-4,
ISBN-10: 0-444-50072-3, Year: 2000, GBP 78, USD 133, EUR 117
| | | 143 | | Classical Recursion Theory, Volume II
To order this title, and for more information, click here
By P. Odifreddi
ISBN-13: 978-0-444-50205-6,
ISBN-10: 0-444-50205-X, Year: 1999, GBP 106, USD 181, EUR 159
| | | 142 | | Tools and Techniques in Modal Logic, 142
To order this title, and for more information, click here
By M. Kracht
ISBN-13: 978-0-444-50055-7,
ISBN-10: 0-444-50055-3, Year: 1999, USD 155, EUR 137, GBP 91
| | | 141 | | Categorical Logic and Type Theory, 141
To order this title, and for more information, click here
By B. Jacobs
ISBN-13: 978-0-444-50853-9,
ISBN-10: 0-444-50853-8, Year: 1998, GBP 67, EUR 90.95, USD 119
| | | 139 | | Recursive Algebra, Analysis and Combinatorics
Buy online with a credit card in the Elsevier Science & Technology Bookstore:  http://books.elsevier.com/elsevier/?isbn=0444500030
Edited by Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Associate Editor V.W. Marek
Volume 1 - Recursive Model Theory
Hardbound, ,
ISBN: 0-444-50003-0, 664 pages, publication date: DEC-1998
Price: EUR 129, USD 147
Volume 2 - Recursive Algebra, Analysis and Combinatorics
Hardbound, ,
ISBN: 0-444-50106-1, 798 pages, publication date: DEC-1998
Price: EUR 159, GBP 106
2 Volume Set
Hardbound, ,
ISBN: 0-444-50107-X, 1464 pages, publication date: DEC-1998
Price: EUR 246, GBP 164
| | | 138 | | Recursive Model Theory
Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444500030
Edited by Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Associate Editor V.W. Marek
Volume 1 - Recursive Model Theory
Hardbound, ,
ISBN: 0-444-50003-0, 664 pages, publication date: DEC-1998
Price: EUR 129, USD 147
Volume 2 - Recursive Algebra, Analysis and Combinatorics
Hardbound, ,
ISBN: 0-444-50106-1, 798 pages, publication date: DEC-1998
Price: EUR 159, GBP 106
2 Volume Set
Hardbound, ,
ISBN: 0-444-50107-X, 1464 pages, publication date: DEC-1998
Price: EUR 246, GBP 164
| | | 137 | | Handbook of Proof Theory
To order this title, and for more information, click here
Edited By S.R. Buss
ISBN-13: 978-0-444-89840-1,
ISBN-10: 0-444-89840-9, Year: 1998, GBP 107, USD 182, EUR 161
| | | 136 | | Admissibility of Logical Inference Rules, 136
To order this title, and for more information, click here
By V.V. Rybakov
ISBN-13: 978-0-444-89505-9,
ISBN-10: 0-444-89505-1, Year: 1997, GBP 107, USD 182, EUR 160
| | | 130 | | Language in Action, 130
Categories, Lambdas and Dynamic Logic
To order this title, and for more information, click here
By J. van Benthem
ISBN-13: 978-0-444-89000-9,
ISBN-10: 0-444-89000-9, Year: 1991, USD 121, EUR 106, GBP 71
| | | 125 | | Classical Recursion Theory
The Theory of Functions and Sets of Natural Numbers
To order this title, and for more information, click here
By P. Odifreddi
ISBN-13: 978-0-444-89483-0,
ISBN-10: 0-444-89483-7, Year: 1989, EUR 75.95, USD 90.95, GBP 56
| | | 123 | | Volume 2
An Introduction
Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444702660
By A.S. Troelstra, D. Van Dalen
Volume 1
Hardbound, ,
ISBN: 0-444-70266-0, xx + 358 pages, publication date: JUL-1988
Price: EUR 143, USD 147
Volume 1
Paperback, ,
ISBN: 0-444-70506-6, publication date: AUG-1988
Price: EUR 50, GBP 33.50
Volume 2
Hardbound, ,
ISBN: 0-444-70358-6, xviii + 586 pages, publication date: JUL-2004
Price: EUR 143, USD 147
| | | 121 | | Volume 1
An Introduction
Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444702660
By A.S. Troelstra, D. Van Dalen
Volume 1
Hardbound, ,
ISBN: 0-444-70266-0, xx + 358 pages, publication date: JUL-1988
Price: EUR 143, USD 147
Volume 1
Paperback, ,
ISBN: 0-444-70506-6, publication date: AUG-1988
Price: EUR 50, GBP 33.50
Volume 2
Hardbound, ,
ISBN: 0-444-70358-6, xviii + 586 pages, publication date: JUL-2004
Price: EUR 143, USD 147
| | | 103 | | The Lambda Calculus, 103
Its Syntax and Semantics
To order this title, and for more information, click here
By H.P. Barendregt
ISBN-13: 978-0-444-87508-2,
ISBN-10: 0-444-87508-5, Year: 1984, USD 131, EUR 110, GBP 81
| | | 102 | | Set Theory An Introduction To Independence Proofs
To order this title, and for more information, click here
By Author Unknown
ISBN-13: 978-0-444-86839-8,
ISBN-10: 0-444-86839-9, Year: 1983, GBP 68, EUR 92.95, USD 107
| | | 64 | | Cylindric Algebras, Part I
To order this title, and for more information, click here
By L. Henkin, J.D. Monk, A. Tarski
Part I - Cylindric Algebras, Part I
Hardbound, ,
ISBN: 0-7204-2043-1, publication date: FEB-1985
Price: EUR 172, GBP 115
| | | | Quantification in Nonclassical Logic, V153
To order this title, and for more information, click here
By Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
ISBN-13: 978-0-08-093112-8, Year: 2007, GBP 125, USD 215, EUR 180
| | | | Quantification in Nonclassical Logic, 153
To order this title, and for more information, click here
By Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
ISBN-13: 978-0-444-52012-8,
ISBN-10: 0-444-52012-0, Year: 2009, GBP 125, USD 215, EUR 180
| | | | Cylindric Algebras
To order this title, and for more information, click here
By L. Henkin, J.D. Monk, A. Tarski
Part I - Cylindric Algebras, Part I
Hardbound, ,
ISBN: 0-7204-2043-1, publication date: FEB-1985
Price: EUR 172, GBP 115
| | | | Realizability, 152
An Introduction to its Categorical Side
To order this title, and for more information, click here
By Jaap van Oosten
ISBN-13: 978-0-444-51584-1,
ISBN-10: 0-444-51584-4, Year: 2008, GBP 87, USD 155, EUR 125
| | | | Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 151
To order this title, and for more information, click here
By Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
ISBN-13: 978-0-444-52141-5,
ISBN-10: 0-444-52141-0, Year: 2007, GBP 96, USD 139, EUR 126
| |
| |
Last update: 9 Jul 2009
| | | | | |
| | |
Home | Elsevier Websites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company