Author(s)
Bibliographic Information
Perspectives in logic
Association for Symbolic Logic : Cambridge University Press
Search this Book/Journal
Note
The series has its origins in the "Perspectives in Mathematical Logic <BA00027452>" series edited by the Ω-Group
Related Books： 1-17 of 17
-
1
- Computable structure theory : within the arithmetic
-
Antonio Montalbán
Cambridge University Press , Association for Symbolic Logic 2021 Perspectives in logic
: hardback
Available at 4 libraries
-
2
- Admissible sets and structures : an approach to definability theory
-
Jon Barwise
Association for Symbolic Logic , Cambridge Unviersity Press c2016 Perspectives in logic
: hardback
Available at 1 libraries
-
3
- Computability in analysis and physics
-
Marian B. Pour-El, J. Ian Richards
Association for symbolic logic , Cambridge University Press c2016 Perspectives in logic
: hardback
Available at 2 libraries
-
4
- Constructibility
-
Keith J. Devlin
Cambridge University Press 2016 Perspectives in logic
hbk.
Available at 1 libraries
-
5
- Metamathematics of first-order arithmetic
-
Petr Hájek, Pavel Pudlák
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
Available at 2 libraries
-
6
- Higher recursion theory
-
Gerald E. Sacks
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
Available at 1 libraries
-
7
- Fundamentals of stability theory
-
John T. Baldwin
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
Available at 1 libraries
-
8
- Essential stability theory
-
Steven Buechler
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
Available at 1 libraries
-
9
- Model-theoretic logics
-
edited by J. Barwise, S. Feferman
Association for Symbolic Logic , Cambridge University Press c2016 Perspectives in logic
Available at 4 libraries
-
10
- Pure inductive logic
-
Jeffrey Paris, Alena Vencovská
Association for Symbolic Logic : Cambridge University Press 2015 Perspectives in logic
Available at 4 libraries
-
11
- Logical foundations of proof complexity
-
Stephen Cook, Phuong Nguyen
Association for Symbolic Logic , Cambridge University Press 2014, c2010 Perspectives in logic
: pbk
Available at 6 libraries
-
12
- Lambda calculus with types
-
Henk Barendregt, Wil Dekkers, Richard Statman
Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic
Available at 18 libraries
-
13
- Proof and computations
-
Helmut Schwichtenberg, Stanley S. Wainer
Association for Symbolic Logic : Cambridge University Press c2012 Perspectives in logic
-
14
- Proofs and computations
-
Helmut Schwichtenberg, Stanley S. Wainer
Cambridge University Press 2012 Perspectives in logic
Available at 14 libraries
-
15
- Subsystems of second order arithmetic
-
Stephen G. Simpson
Cambridge University Press 2010 2nd ed Perspectives in logic
: pbk
Available at 6 libraries
-
16
- Logical foundations of proof complexity
-
Stephen Cook, Phuong Nguyen
Association for Symbolic Logic : Cambridge University Press 2010 Perspectives in logic
Available at 13 libraries
-
17
- Subsystems of second order arithmetic
-
Stephen G. Simpson
Association for Symbolic Logic : Cambridge University Press 2009 2nd ed Perspectives in logic
Available at 11 libraries
