Perspectives Volumes published by the ASL with Cambridge University Press
Members of the ASL are entitled to a 25% discount on books in the Perspectives in Logic series published by Cambridge University Press. Use code ASL25.
The books listed below are the new and reprinted volumes published by the ASL in conjunction with Cambridge University Press.
Available Volumes
- Montalbán: Computable Structure Theory, Within the Arithmetic, 2021
- Shelah: Proper and Improper Forcing, Second Edition, 2017
- Lerman: Degrees of Unsolvability, Local and Global Theory, 2017
- Devlin: Constructibility, 2017
- Barwise: Admissible Sets and Structures, 2017
- Pour-El and Richards: Computability in Analysis and Physics, 2017
- Buechler: Essential Stability Theory, 2017
- Baldwin: Fundamentals of Stability Theory, 2017
- Fenstad: General Recursion Theory, 2017
- Sacks: Higher Recursion Theory, 2017
- Hájek and Pudlák: Metamathematics of First-Order Arithmetic, 2017
- Barwise and Feferman: Model-Theoretic Logics, 2017
- Hinman: Recursion-Theoretic Hierarchies, 2017
- Paris and Vencovska: Pure Inductive Logic, 2015
- Henk Barendregt, Wil Dekkers, Richard Statman: Lambda Calculus with Types, 2013
- Schwichtenberg and Wainer: Proofs and Computations, 2012
- Cook and Nguyen: Logical Foundations of Proof Complexity, 2010
- Simpson: Subsystems of Second Order Arithmetic, Second Edition, 2009
Older Perspectives Volumes originally published by Springer-Verlag
The ASL has made available online via Project Euclid those older volumes of Perspectives in Logic owned by the ASL and published in collaboration with Springer-Verlag.
They are also available for purchase in both print and electronic versions at Cambridge University Press.
- Saharon Shelah: Proper and Improper Forcing, 1998
- Petr Hájek and Pavel Pudlák: Metamathematics of First Order Arithmetic, 1998
- Steven Buechler: Essential Stability Theory, 1996
- Gerald E. Sacks: Higher Recursion Theory, 1990
- Marian B. Pour-El and J. Ian Richards: Computability in Analysis and Physics, 1989
- John T. Baldwin: Fundamentals of Stability Theory, 1988
- J. Barwise and S. Feferman, Eds.: Model-Theoretic Logics, 1985
- Keith J. Devlin: Constructibility, 1984
- Jens E. Fenstad: General Recursion Theory, 1980
- Manuel Lerman: Degrees of Unsolvability, 1983
- Peter G. Hinman: Recursion-Theoretic Hierarchies, 1978
- Jon Barwise: Admissible Sets and Structures, 1975