書誌事項
Perspectives in logic
Association for Symbolic Logic : Cambridge University Press
この図書・雑誌をさがす
注記
The series has its origins in the "Perspectives in Mathematical Logic <BA00027452>" series edited by the Ω-Group
関連文献： 17件中 1-17を表示
-
1
- Computable structure theory : within the arithmetic
-
Antonio Montalbán
Cambridge University Press , Association for Symbolic Logic 2021 Perspectives in logic
: hardback
所蔵館4館
-
2
- Admissible sets and structures : an approach to definability theory
-
Jon Barwise
Association for Symbolic Logic , Cambridge Unviersity Press c2016 Perspectives in logic
: hardback
所蔵館1館
-
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
所蔵館2館
-
4
- Constructibility
-
Keith J. Devlin
Cambridge University Press 2016 Perspectives in logic
hbk.
所蔵館1館
-
5
- Metamathematics of first-order arithmetic
-
Petr Hájek, Pavel Pudlák
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
所蔵館2館
-
6
- Higher recursion theory
-
Gerald E. Sacks
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
所蔵館1館
-
7
- Fundamentals of stability theory
-
John T. Baldwin
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
所蔵館1館
-
8
- Essential stability theory
-
Steven Buechler
Association for Symbolic Logic : Cambridge University Press c2016 Perspectives in logic
所蔵館1館
-
9
- Model-theoretic logics
-
edited by J. Barwise, S. Feferman
Association for Symbolic Logic , Cambridge University Press c2016 Perspectives in logic
所蔵館4館
-
10
- Pure inductive logic
-
Jeffrey Paris, Alena Vencovská
Association for Symbolic Logic : Cambridge University Press 2015 Perspectives in logic
所蔵館4館
-
11
- Logical foundations of proof complexity
-
Stephen Cook, Phuong Nguyen
Association for Symbolic Logic , Cambridge University Press 2014, c2010 Perspectives in logic
: pbk
所蔵館6館
-
12
- Lambda calculus with types
-
Henk Barendregt, Wil Dekkers, Richard Statman
Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic
所蔵館18館
-
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
所蔵館14館
-
15
- Subsystems of second order arithmetic
-
Stephen G. Simpson
Cambridge University Press 2010 2nd ed Perspectives in logic
: pbk
所蔵館6館
-
16
- Logical foundations of proof complexity
-
Stephen Cook, Phuong Nguyen
Association for Symbolic Logic : Cambridge University Press 2010 Perspectives in logic
所蔵館13館
-
17
- Subsystems of second order arithmetic
-
Stephen G. Simpson
Association for Symbolic Logic : Cambridge University Press 2009 2nd ed Perspectives in logic
所蔵館11館