Studies in Logic and the Foundations of Mathematics

P. Suppes

Edited by

S. Abramsky
S. Artemov
A. Kechris
A. Pillay
R.A. Shore
Dov M. Gabbay, King's College London, UK

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

Audience
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).

Latest volumes

121. Constructivism in Mathematics Vol.1

By Lev Beklemishev
Hardbound
Published: July 1988
ISBN 13: 978-0-444-70266-1
Buy now
153. Quantification in Nonclassical Logic

By Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
Hardbound, 640 Pages
Published: June 2009
ISBN 13: 978-0-444-52012-8
Buy now
152. Realizability

By Jaap van Oosten
Hardbound, 328 Pages
Published: March 2008
ISBN 13: 978-0-444-51584-1
Buy now
151. Residuated Lattices: An Algebraic Glimpse at Substructural Logics

By Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Hardbound, 532 Pages
Published: April 2007
ISBN 13: 978-0-444-52141-5
Buy now

Other available volumes

150. Relation Algebras

By Roger Maddux
Hardbound, 758 Pages
Published: May 2006
ISBN 13: 978-0-444-52013-5
Buy now
149. Lectures on the Curry-Howard Isomorphism

By Morten Heine Sørensen, Pawel Urzyczyn
Hardbound, 456 Pages
Published: July 2006
ISBN 13: 978-0-444-52077-7
Buy now
148. Many-Dimensional Modal Logics: Theory and Applications

By A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay
Hardbound, 766 Pages
Published: October 2003
ISBN 13: 978-0-444-50826-3
Buy now
147. Relation Algebras by Games

By R. Hirsch, I. Hodkinson
Hardbound, 710 Pages
Published: August 2002
ISBN 13: 978-0-444-50932-1
Buy now
146. Rudiments of &mgr;-calculus

Edited by A. Arnold, D. Niwinski
Hardbound, 298 Pages
Published: February 2001
ISBN 13: 978-0-444-50620-7
Buy now
145. Theory of Relations

By R. Fraisse
Hardbound, 456 Pages
Published: December 2000
ISBN 13: 978-0-444-50542-2
Buy now
144. Computable Structures and the Hyperarithmetical Hierarchy

By C.J. Ash, J. Knight
Hardbound, 366 Pages
Published: June 2000
ISBN 13: 978-0-444-50072-4
Buy now
Classical Recursion Theory, Volume II

By P. Odifreddi
Hardbound
Published: September 1999
ISBN 13: 978-0-444-50205-6
Buy now
142. Tools and Techniques in Modal Logic

By M. Kracht
Hardbound
Published: June 1999
ISBN 13: 978-0-444-50055-7
Buy now
141. Categorical Logic and Type Theory, 141

By B. Jacobs

Published: December 1998
ISBN 13: 978-0-444-50170-7
Buy now
140. Handbook of Computability Theory

Edited By E.R. Griffor

Published: October 1999
ISBN 13: 978-0-444-89882-1
Buy now
Handbook of Proof Theory

Edited by S.R. Buss
Hardbound
Published: July 1998
ISBN 13: 978-0-444-89840-1
Buy now
136. Admissibility of Logical Inference Rules

By V.V. Rybakov
Hardbound
Published: March 1997
ISBN 13: 978-0-444-89505-9
Buy now
135. Logical Frameworks for Truth and Abstraction

By A. Cantini

Published: March 1996
ISBN 13: 978-0-444-82306-9
Buy now
134. Logic, Methodology and Philosophy of Science IX

Edited By D. Prawitz, B. Skyrms, D. Westerståhl

Published: January 1995
ISBN 13: 978-0-444-89341-3
Buy now
133. Selected Papers on Automath

Edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer

Published: October 1994
ISBN 13: 978-0-444-89822-7
Buy now
132. Hausdorff Gaps and Limits

By R. Frankiewicz, P. Zbierski

Published: February 1994
ISBN 13: 978-0-444-89490-8
Buy now
131. Recursive Functionals

By L.E. Sanchis

Published: May 1992
ISBN 13: 978-0-444-89447-2
Buy now
130. Language in Action

By J. van Benthem
Hardbound
Published: February 1991
ISBN 13: 978-0-444-89000-9
Buy now
129. Logic Colloquium '87

Edited By H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar, M. Rodriguez Artalejo

Published: August 1989
ISBN 13: 978-0-444-88022-2
Buy now
128. Computability, Complexity, Logic

By E. Börger

Published: July 1989
ISBN 13: 978-0-444-87406-1
Buy now
127. Logic Colloquium '88

Edited By R. Ferro, C. Bonotto, S. Valentini, A. Zanardo

Published: August 1989
ISBN 13: 978-0-444-87455-9
Buy now
126. Logic, Methodology and Philosophy of Science VIII

Edited By J.E. Fenstad, I.T. Frolov, R. Hilpinen

Published: August 1989
ISBN 13: 978-0-444-70520-4
Buy now
125. Classical Recursion Theory

By P. Odifreddi

Published: January 1989
ISBN 13: 978-0-444-87295-1
Buy now
124. Logic Colloquium '86

Edited By F.R. Drake, J.K. Truss

Published: November 1987
ISBN 13: 978-0-444-70326-2
Buy now
122. Logic Colloquium '85

Edited By . The Paris Logic Group

Published: January 1987
ISBN 13: 978-0-444-70211-1
Buy now
120. Logic Colloquium '84

Edited By J.B. Paris, A.J. Wilkie, G.M. Wilmers

Published: January 1986
ISBN 13: 978-0-444-87999-8
Buy now
119. Foundations of Infinitesimal Stochastic Analysis

By K.D. Stroyan, J.M. Bayod

Published: January 1986
ISBN 13: 978-0-444-87927-1
Buy now
118. Theory of Relations

By R. Fraïssé

Published: January 1986
ISBN 13: 978-0-444-87865-6
Buy now
117. Harvey Friedman's Research on the Foundations of Mathematics

Edited By L.A. Harrington, M.D. Morley, A. Ščedrov, S.G. Simpson

Published: November 1985
ISBN 13: 978-0-444-87834-2
Buy now
116. Equivalents of the Axiom of Choice, II

By H. Rubin, J.E. Rubin

Published: March 1985
ISBN 13: 978-0-444-87708-6
Buy now
114. Logic, Methodology and Philosophy of Science VII

Edited By R. Barcan Marcus, G.J.W. Dorn, P. Weingartner

Published: May 1986
ISBN 13: 978-0-444-87656-0
Buy now
113. Intensional Mathematics

Edited By S. Shapiro

Published: January 1985
ISBN 13: 978-0-444-87632-4
Buy now
112. Logic Colloquium '82

Edited By G. Lolli, G. Longo, A. Marcja

Published: January 1984
ISBN 13: 978-0-444-86876-3
Buy now
111. Southeast Asian Conference on Logic

Edited By C.-T. Chong, M.J. Wicks

Published: January 1983
ISBN 13: 978-0-444-86706-3
Buy now
110. The L.E.J. Brouwer Centenary Symposium

Edited By A.S. Troelstra, D. Van Dalen

Published: January 1982
ISBN 13: 978-0-444-86494-9
Buy now
109. Patras Logic Symposion

Edited By G. Metakides

Published: January 1982
ISBN 13: 978-0-444-86476-5
Buy now
108. Logic Colloquium '80

Edited By D. van Dalen, D. Lascar, T.J. Smiley

Published: January 1982
ISBN 13: 978-0-444-86465-9
Buy now
107. Proceedings of the Herbrand Symposium

Edited By J. Stern

Published: January 1982
ISBN 13: 978-0-444-86417-8
Buy now
106. Combinatorial Set Theory: Partition Relations for Cardinals

By P. Erdös, A. Hajnal, A. Máté, R. Rado

Published: May 1984
ISBN 13: 978-0-444-86157-3
Buy now
105. Fundamentals of Generalized Recursion Theory

By M. Fitting

Published: January 1981
ISBN 13: 978-0-444-86171-9
Buy now
104. Logic, Methodology and Philosophy of Science VI

Edited By J.J. Cohen, J. Łoś, H. Pfeiffer, K.-P. Podewski

Published: January 1982
ISBN 13: 978-0-444-85423-0
Buy now
Set Theory An Introduction To Independence Proofs

By Kenneth Kunen
Hardbound, 330 Pages
Published: December 1983
ISBN 13: 978-0-444-86839-8
Buy now
101. The Kleene Symposium

Edited By J. Barwise, H.J. Keisler, K. Kunen

Published: January 1980
ISBN 13: 978-0-444-85345-5
Buy now
100. Descriptive Set Theory

By Y.N. Moschovakis

Published: January 1987
ISBN 13: 978-0-444-70199-2
Buy now
92. Classification Theory

By S. Shelah

Published: December 1990
ISBN 13: 978-0-444-70260-9
Buy now
Handbook of Mathematical Logic

Edited By J. Barwise

Published: March 1982
ISBN 13: 978-0-444-86388-1
Buy now
85. Boole's Logic and Probability

By T. Hailperin

Published: October 1986
ISBN 13: 978-0-444-87952-3
Buy now
73. Model Theory

By C.C. Chang, H.J. Keisler

Published: June 1990
ISBN 13: 978-0-444-88054-3
Buy now
67. Foundations of Set Theory

By A.A. Fraenkel, Y. Bar-Hillel, A. Levy

Published: December 1973
ISBN 13: 978-0-7204-2270-2
Buy now