Most recent volume

Volume 103. The Lambda Calculus

Published: 11th September 2014 Author: H.P. Barendregt
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Info/Buy

Additional volumes

Volume 153. Quantification in Nonclassical Logic

Published: 9th June 2009 Authors: Dov M. Gabbay Dimitrij Skvortsov Valentin Shehtman
Info/Buy

Volume 152. Realizability

Published: 6th March 2008 Author: Jaap van Oosten
Info/Buy

Volume 151. Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Published: 25th April 2007 Authors: Nikolaos Galatos Peter Jipsen Tomasz Kowalski Hiroakira Ono
Info/Buy

Volume 149. Lectures on the Curry-Howard Isomorphism

Published: 4th July 2006 Authors: Morten Heine Sørensen Pawel Urzyczyn
Info/Buy

Volume 150. Relation Algebras

Published: 15th May 2006 Author: Roger Maddux
Info/Buy
> View all in the series

Volume 148. Many-Dimensional Modal Logics: Theory and Applications

Published: 21st October 2003 Authors: A. Kurucz F. Wolter M. Zakharyaschev Dov M. Gabbay
Info/Buy

Volume 147. Relation Algebras by Games

Published: 15th August 2002 Authors: Robin Hirsch Ian Hodkinson
Info/Buy

Volume 146. Rudiments of Calculus

Published: 7th February 2001 Editors: A. Arnold D. Niwinski
Info/Buy

Volume 145. Theory of Relations

Published: 15th December 2000 Author: R. Fraisse
Info/Buy

Volume 144. Computable Structures and the Hyperarithmetical Hierarchy

Published: 16th June 2000 Authors: C.J. Ash J. Knight
Info/Buy

Volume 41. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 44. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 4. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 56. Constructive Order Types

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 15. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 28. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 78. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 17. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 20. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 11. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 18. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 62. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 26. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 36. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 16. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 69. Contributions to Non-Standard Analysis

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 12. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 29. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 71. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 93B. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 10. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 21. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 5. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 34. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 7. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 51. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 129. Logic Colloquium '87

Published: 1st April 2000 Editors: H.-D. Ebbinghaus J. Fernandez-Prida M. Garrido D. Lascar M. Rodriguez Artalejo
Info/Buy

Volume 31. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 22. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 13. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 24. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 19. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 33. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 30. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 14. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 76. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 102. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 91. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 81. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 46. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 52. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 27. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 37. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 75. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 23. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 25. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 32. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 84. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 63. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 96. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 99. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 74. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 61. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 95. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 65. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 79. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 35. Computer Programming and Formal Systems

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 97. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 60. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 83. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 72. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 40. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 43. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 45. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 49. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 93A. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 77. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 87. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 68. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 57. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 53. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 42. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 3. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 89. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 38. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 88. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 50. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 39. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 86. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 59. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 70. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 55. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 48. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 54. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 94. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 66. Provability, Computability and Reflection

Published: 1st April 2000 Author: Lev Beklemishev
Info/Buy

Volume 140. Handbook of Computability Theory

Published: 1st October 1999 Editor: E.R. Griffor
Info/Buy

Volume 143. Classical Recursion Theory, Volume II

Published: 7th September 1999 Author: P. Odifreddi
Info/Buy

Volume 142. Tools and Techniques in Modal Logic

Published: 17th June 1999 Author: M. Kracht
Info/Buy

Volume 141. Categorical Logic and Type Theory

Published: 14th January 1999 Author: B. Jacobs
Info/Buy

Volume 2. Recursive Algebra, Analysis and Combinatorics

Published: 30th November 1998 Series Editors: Y.L. Ershov A. Nerode S.S. Goncharov J.B. Remmel
Info/Buy

Volume 1. Recursive Model Theory

Published: 30th November 1998 Series Editors: Y.L. Ershov A. Nerode S.S. Goncharov J.B. Remmel
Info/Buy

Volume 137. Handbook of Proof Theory

Published: 9th July 1998 Editor: S.R. Buss
Info/Buy

Volume 136. Admissibility of Logical Inference Rules

Published: 14th March 1997 Author: V.V. Rybakov
Info/Buy

Volume 135. Logical Frameworks for Truth and Abstraction

Published: 14th March 1996 Author: A. Cantini
Info/Buy

Volume 134. Logic, Methodology and Philosophy of Science IX

Published: 10th January 1995 Editors: D. Prawitz B. Skyrms D. Westerståhl
Info/Buy

Volume 133. Selected Papers on Automath

Published: 20th October 1994 Editors: R.P. Nederpelt J.H. Geuvers R.C. de Vrijer
Info/Buy

Volume 132. Hausdorff Gaps and Limits

Published: 23rd February 1994 Authors: R. Frankiewicz P. Zbierski
Info/Buy

Volume 131. Recursive Functionals

Published: 18th May 1992 Author: L.E. Sanchis
Info/Buy

Volume 125. Classical Recursion Theory

Published: 4th February 1992 Author: P. Odifreddi
Info/Buy

Volume 130. Language in Action

Published: 12th February 1991 Author: J. van Benthem
Info/Buy

Volume 92. Classification Theory

Published: 6th December 1990 Author: S. Shelah
Info/Buy

Volume 73. Model Theory

Published: 12th June 1990 Authors: C.C. Chang H.J. Keisler
Info/Buy

Volume 126. Logic, Methodology and Philosophy of Science VIII

Published: 16th August 1989 Editors: J.E. Fenstad I.T. Frolov R. Hilpinen
Info/Buy

Volume 127. Logic Colloquium '88

Published: 4th August 1989 Editors: R. Ferro C. Bonotto S. Valentini A. Zanardo
Info/Buy

Volume 128. Computability, Complexity, Logic

Published: 1st July 1989 Author: E. Börger
Info/Buy

Volume 123. Constructivism in Mathematics, Vol 2

Published: 1st November 1988 Authors: A.S. Troelstra D. van Dalen
Info/Buy

Volume 121. Constructivism in Mathematics

Published: 1st August 1988 Editors: J. Barwise D. Kaplan H.J. Keisler Authors: A.S. Troelstra D. Van Dalen
Info/Buy

Volume 121. Constructivism in Mathematics, Vol 1

Published: 1st July 1988 Authors: A.S. Troelstra D. van Dalen
Info/Buy

Volume 124. Logic Colloquium '86

Published: 1st November 1987 Editors: F.R. Drake J.K. Truss
Info/Buy

Volume 100. Descriptive Set Theory

Published: 1st January 1987 Author: Y.N. Moschovakis
Info/Buy

Volume 122. Logic Colloquium '85

Published: 1st January 1987 Editor: The Paris Logic Group
Info/Buy

Volume 85. Boole's Logic and Probability

Published: 1st October 1986 Author: T. Hailperin
Info/Buy

Volume 114. Logic, Methodology and Philosophy of Science VII

Published: 1st May 1986 Editors: R. Barcan Marcus G.J.W. Dorn P. Weingartner
Info/Buy

Volume 117. Harvey Friedman's Research on the Foundations of Mathematics

Published: 1st November 1985 Editors: L.A. Harrington M.D. Morley A. Šcedrov S.G. Simpson
Info/Buy

Volume 116. Equivalents of the Axiom of Choice, II

Published: 1st March 1985 Authors: H. Rubin J.E. Rubin
Info/Buy

Volume 115. Cylindric Algebras

Published: 1st February 1985 Author: Author Unknown
Info/Buy

Volume 113. Intensional Mathematics

Published: 1st January 1985 Editor: S. Shapiro
Info/Buy

Volume 106. Combinatorial Set Theory: Partition Relations for Cardinals

Published: 1st May 1984 Authors: P. Erdös A. Máté A. Hajnal P. Rado
Info/Buy

Volume 98. Topoi

Published: 1st February 1984 Author: R. Goldblatt
Info/Buy

Volume 102. Set Theory An Introduction To Independence Proofs

Published: 1st December 1983 Author: K. Kunen
Info/Buy

Volume 90. Handbook of Mathematical Logic

Published: 1st March 1982 Editor: J. Barwise
Info/Buy

Volume 67. Foundations of Set Theory

Published: 1st December 1973 Authors: A.A. Fraenkel Y. Bar-Hillel A. Levy
Info/Buy

Volume 47. Problems in the Philosophy of Mathematics

Published: 1st January 1967 Editor: Brouwer
Info/Buy