SiteStat.jsp
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
150Relation 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 155, USD 249, EUR 170
Relation Algebras, 150
149Lectures 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 95, USD 155, EUR 104
Lectures on the Curry-Howard Isomorphism, 149
148Many-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
Many-Dimensional Modal Logics: Theory and Applications, 148
147Relation 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
Relation Algebras by Games, 147
146Rudiments 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
144Computable 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
143Classical 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
142Tools 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
141Categorical 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 76, EUR 82.95, USD 124
137Handbook 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
136Admissibility 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
130Language 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
125Classical 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, GBP 57.99, EUR 63.95, USD 94.95
103The 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, GBP 84, EUR 91.95, USD 137
102Set 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, USD 99.95, EUR 66.95, GBP 60.99
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 135, EUR 144
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 105, USD 166, EUR 111
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 88, EUR 96.95, USD 145

Last update: 4 Feb 2010
Bookmark this page
Recommend this publication
Overview of all Book Series
Printer-friendly version   Printer-friendly version