 | | | STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
| | | | | | |
Series edited by
S.
Abramsky
P.
Suppes
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 176.95
| | | | | 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, GBP 87.99, USD 145, EUR 103.95
| | | | | 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 102.99, USD 170, EUR 121.95
| | | | | 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, USD 150, EUR 106.95, GBP 90.99
| | | | | 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 58.99, EUR 68.95
| | | 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, EUR 94.95, USD 133, GBP 80.99
| | | 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 109.99, USD 181, EUR 128.95
| | | 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, GBP 93.99, EUR 110.95, USD 155
| | | 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, EUR 84.95, USD 119, GBP 71.99
| | | 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 109.99, USD 182, EUR 129.95
| | | 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 109.99, USD 182, EUR 129.95
| | | 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 86.95, GBP 72.99
| | | 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 65.95, USD 90.95, GBP 56
| | | 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 95.95, 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 79.95, USD 107
| | | | Cylindric Algebras, Part I
To order this title, and for more information, click here
By Author Unknown
ISBN-13: 978-0-7204-2043-2,
ISBN-10: 0-7204-2043-1, Year: 1971, GBP 115, USD 173, EUR 135.95
| | | | 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, USD 215, GBP 129.99, EUR 153.95
| | | | 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 93.99, EUR 110.95, USD 155
| | | | 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, EUR 112.95, USD 139
| |
| |
Last update: 23 Nov 2009
| | | | | |
| | |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company