Series: Studies in Logic and the Foundations of Mathematics
Filter
-
Creators
- Lev D. Beklemishev 84
- A. Nerode 2
- A.S. Troelstra 2
- D. van Dalen 2
- Dov M. Gabbay 2
- J.B. Remmel 2
- S.S. Goncharov 2
- Vyacheslav L. Girko 2
- Y.L. Ershov 2
- A. Arnold 1
- A. Cantini 1
- A. Kurucz 1
- A. Levy 1
- A. Zanardo 1
- A. Šcedrov 1
- A.A. Fraenkel 1
- B. Jacobs 1
- B. Skyrms 1
- Bozzano G Luisa 1
- Brouwer 1
- C. Bonotto 1
- C.C. Chang 1
- C.J. Ash 1
- D. Niwinski 1
- D. Prawitz 1
-
Subjects
-
Publisher
-
Format
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 3
Lev D. Beklemishev Author
(2000)
Descriptive Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 100
Y.N. Moschovakis Author
(1987)
Intensional Mathematics
Studies in Logic and the Foundations of Mathematics (Series)
Book 113
S. Shapiro Editor
(1985)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 114
R. Barcan Marcus Editor
G.J.W. Dorn Editor
(1986)
Model Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 73
C.C. Chang Author
H.J. Keisler Author
(1990)
Boole's Logic and Probability
Studies in Logic and the Foundations of Mathematics (Series)
Book 85
T. Hailperin Author
(1986)
Classification Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 92
S. Shelah Author
(1990)
Foundations of Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 67
A.A. Fraenkel Author
Y. Bar-Hillel Author
(1973)
Handbook of Mathematical Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 90
J. Barwise Editor
(1982)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 4
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 5
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 7
Lev D. Beklemishev Author
(2000)
Sentences Undecidable in...
Studies in Logic and the Foundations of Mathematics (Series)
Book 10
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 11
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 12
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 13
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 14
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 15
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 16
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 17
Lev D. Beklemishev Author
(2000)
Recursive Algebra, Analysis...
Studies in Logic and the Foundations of Mathematics (Series)
Book 2
Y.L. Ershov Other
A. Nerode Other
(1998)
Recursive Model Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 1
Y.L. Ershov Other
A. Nerode Other
(1998)
Topoi
Studies in Logic and the Foundations of Mathematics (Series)
Book 98
R. Goldblatt Author
(2014)
