Studies in Logic and the Foundations of Mathematics

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

Latest volumes

1. Constructivism in Mathematics Vol.1
By Lev Beklemishev
Hardbound, 355 Pages
Published: July 1988
ISBN 13: 978-0-444-70266-1

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

152. Realizability
By Jaap van Oosten
Hardbound, 328 Pages
Published: March 2008
ISBN 13: 978-0-444-51584-1

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

Other volumes

150. Relation Algebras
By Roger Maddux
Hardbound, 758 Pages
Published: May 2006
ISBN 13: 978-0-444-52013-5

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

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

147. Relation Algebras by Games
By R. Hirsch, I. Hodkinson
Hardbound, 710 Pages
Published: August 2002
ISBN 13: 978-0-444-50932-1

146. Rudiments of &mgr;-calculus
Edited by A. Arnold, D. Niwinski
Hardbound, 298 Pages
Published: February 2001
ISBN 13: 978-0-444-50620-7

145. Theory of Relations
By R. Fraisse
Hardbound, 456 Pages
Published: December 2000
ISBN 13: 978-0-444-50542-2

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

Classical Recursion Theory, Volume II
By P. Odifreddi
Hardbound
Published: September 1999
ISBN 13: 978-0-444-50205-6

142. Tools and Techniques in Modal Logic
By M. Kracht
Hardbound
Published: June 1999
ISBN 13: 978-0-444-50055-7

141. Categorical Logic and Type Theory, 141
By B. Jacobs
Paperback
Published: May 2001
ISBN 13: 978-0-444-50853-9

140. Handbook of Computability Theory
Edited By E.R. Griffor
Hardbound
Published: October 1999
ISBN 13: 978-0-444-89882-1

v. Handbook of Proof Theory
Edited by S.R. Buss
Hardbound, 810 Pages
Published: July 1998
ISBN 13: 978-0-444-89840-1

136. Admissibility of Logical Inference Rules
By V.V. Rybakov
Hardbound, 616 Pages
Published: March 1997
ISBN 13: 978-0-444-89505-9

135. Logical Frameworks for Truth and Abstraction
By A. Cantini
Hardbound
Published: March 1996
ISBN 13: 978-0-444-82306-9

134. Logic, Methodology and Philosophy of Science IX
Edited By D. Prawitz, B. Skyrms, D. Westerståhl
Hardbound
Published: January 1995
ISBN 13: 978-0-444-89341-3

133. Selected Papers on Automath
Edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Hardbound, 1044 pages
Published: October 1994
ISBN 13: 978-0-444-89822-7

132. Hausdorff Gaps and Limits
By R. Frankiewicz, P. Zbierski
Hardbound, 314 pages
Published: February 1994
ISBN 13: 978-0-444-89490-8

131. Recursive Functionals
By L.E. Sanchis
Hardbound
Published: May 1992
ISBN 13: 978-0-444-89447-2

130. Language in Action
By J. van Benthem
Hardbound, 348 Pages
Published: February 1991
ISBN 13: 978-0-444-89000-9

129. Logic Colloquium '87
Edited By H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar, M. Rodriguez Artalejo
Hardbound
Published: August 1989
ISBN 13: 978-0-444-88022-2

128. Computability, Complexity, Logic
By E. Börger
Hardbound, xx + 592 pages
Published: July 1989
ISBN 13: 978-0-444-87406-1

127. Logic Colloquium '88
Edited By R. Ferro, C. Bonotto, S. Valentini, A. Zanardo
Hardbound
Published: August 1989
ISBN 13: 978-0-444-87455-9

126. Logic, Methodology and Philosophy of Science VIII
Edited By J.E. Fenstad, I.T. Frolov, R. Hilpinen
Hardbound
Published: August 1989
ISBN 13: 978-0-444-70520-4

125. Classical Recursion Theory
By P. Odifreddi
Paperback
Published: February 1992
ISBN 13: 978-0-444-89483-0

124. Logic Colloquium '86
Edited By F.R. Drake, J.K. Truss
Hardbound
Published: November 1987
ISBN 13: 978-0-444-70326-2

122. Logic Colloquium '85
Edited By . The Paris Logic Group
Hardbound
Published: January 1987
ISBN 13: 978-0-444-70211-1

120. Logic Colloquium '84
Edited By J.B. Paris, A.J. Wilkie, G.M. Wilmers
Hardbound
Published: January 1986
ISBN 13: 978-0-444-87999-8

119. Foundations of Infinitesimal Stochastic Analysis
By K.D. Stroyan, J.M. Bayod
Hardbound
Published: January 1986
ISBN 13: 978-0-444-87927-1

118. Theory of Relations
By R. Fraïssé
Hardbound
Published: January 1986
ISBN 13: 978-0-444-87865-6

117. Harvey Friedman's Research on the Foundations of Mathematics
Edited By L.A. Harrington, M.D. Morley, A. Ščedrov, S.G. Simpson
Hardbound
Published: November 1985
ISBN 13: 978-0-444-87834-2

116. Equivalents of the Axiom of Choice, II
By H. Rubin, J.E. Rubin
Hardbound
Published: March 1985
ISBN 13: 978-0-444-87708-6

114. Logic, Methodology and Philosophy of Science VII
Edited By R. Barcan Marcus, G.J.W. Dorn, P. Weingartner
Hardbound
Published: May 1986
ISBN 13: 978-0-444-87656-0

113. Intensional Mathematics
Edited By S. Shapiro
Hardbound
Published: January 1985
ISBN 13: 978-0-444-87632-4

112. Logic Colloquium '82
Edited By G. Lolli, G. Longo, A. Marcja
Hardbound
Published: January 1984
ISBN 13: 978-0-444-86876-3

111. Southeast Asian Conference on Logic
Edited By C.-T. Chong, M.J. Wicks
Hardbound
Published: January 1983
ISBN 13: 978-0-444-86706-3

110. The L.E.J. Brouwer Centenary Symposium
Edited By A.S. Troelstra, D. Van Dalen
Hardbound
Published: January 1982
ISBN 13: 978-0-444-86494-9

109. Patras Logic Symposion
Edited By G. Metakides
Hardbound
Published: January 1982
ISBN 13: 978-0-444-86476-5

108. Logic Colloquium '80
Edited By D. van Dalen, D. Lascar, T.J. Smiley
Hardbound
Published: January 1982
ISBN 13: 978-0-444-86465-9

107. Proceedings of the Herbrand Symposium
Edited By J. Stern
Hardbound
Published: January 1982
ISBN 13: 978-0-444-86417-8

106. Combinatorial Set Theory: Partition Relations for Cardinals
By P. Erdös, A. Hajnal, A. Máté, R. Rado
Hardbound
Published: May 1984
ISBN 13: 978-0-444-86157-3

105. Fundamentals of Generalized Recursion Theory
By M. Fitting
Hardbound
Published: January 1981
ISBN 13: 978-0-444-86171-9

104. Logic, Methodology and Philosophy of Science VI
Edited By J.J. Cohen, J. Łoś, H. Pfeiffer, K.-P. Podewski
Hardbound
Published: January 1982
ISBN 13: 978-0-444-85423-0

Set Theory An Introduction To Independence Proofs
By Kenneth Kunen
Hardbound, 330 Pages
Published: December 1983
ISBN 13: 978-0-444-86839-8

101. The Kleene Symposium
Edited By J. Barwise, H.J. Keisler, K. Kunen
Hardbound
Published: January 1980
ISBN 13: 978-0-444-85345-5

100. Descriptive Set Theory
By Y.N. Moschovakis
Paperback
Published: January 1987
ISBN 13: 978-0-444-70199-2

92. Classification Theory
By S. Shelah
Hardbound, xxxiv + 706 pages
Published: December 1990
ISBN 13: 978-0-444-70260-9

Handbook of Mathematical Logic
Edited By J. Barwise
Paperback, 1164 Pages
Published: March 1982
ISBN 13: 978-0-444-86388-1

85. Boole's Logic and Probability
By T. Hailperin
Hardbound
Published: October 1986
ISBN 13: 978-0-444-87952-3

73. Model Theory
By C.C. Chang, H.J. Keisler
Hardbound, xvi + 650 pages
Published: June 1990
ISBN 13: 978-0-444-88054-3

67. Foundations of Set Theory
By A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Hardbound, 412 pages
Published: December 1973
ISBN 13: 978-0-7204-2270-2