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)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 7
Lev D. Beklemishev Author
(2000)
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)
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)
Topoi
Studies in Logic and the Foundations of Mathematics (Series)
Book 98
R. Goldblatt Author
(2014)
Descriptive Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 100
Y.N. Moschovakis Author
(1987)
Cylindric Algebras
Studies in Logic and the Foundations of Mathematics (Series)
Book 115
Bozzano G Luisa Author
(1985)
Logic Colloquium '88
Studies in Logic and the Foundations of Mathematics (Series)
Book 127
R. Ferro Editor
C. Bonotto Editor
(1989)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 27
Lev D. Beklemishev Author
(2000)
Computability, Complexity, Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 128
E. Börger Author
(1989)
Lincos
Studies in Logic and the Foundations of Mathematics (Series)
Book 28
Lev D. Beklemishev Author
(2000)
Language in Action
Studies in Logic and the Foundations of Mathematics (Series)
Book 130
J. van Benthem Author
(1991)
Recursive Functionals
Studies in Logic and the Foundations of Mathematics (Series)
Book 131
L.E. Sanchis Author
(1992)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 30
Lev D. Beklemishev Author
(2000)
Recursive Model Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 1
Y.L. Ershov Other
A. Nerode Other
(1998)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 4
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)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 5
Lev D. Beklemishev Author
(2000)
Handbook of Mathematical Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 90
J. Barwise Editor
(1982)
Classification Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 92
S. Shelah Author
(1990)
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)
Set Theory an Introduction to...
Studies in Logic and the Foundations of Mathematics (Series)
Book 102
K. Kunen Author
(2014)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 16
Lev D. Beklemishev Author
(2000)
Intensional Mathematics
Studies in Logic and the Foundations of Mathematics (Series)
Book 113
S. Shapiro Editor
(1985)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 17
Lev D. Beklemishev Author
(2000)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 114
R. Barcan Marcus Editor
G.J.W. Dorn Editor
(1986)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 18
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 19
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 20
Lev D. Beklemishev Author
(2000)
Logic Colloquium '85
Studies in Logic and the Foundations of Mathematics (Series)
Book 122
The Paris Logic The Paris Logic Group Editor
(1987)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 22
Lev D. Beklemishev Author
(2000)
Classical Recursion Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 125
P. Odifreddi Author
(1992)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 25
Lev D. Beklemishev Author
(2000)
Computer Programming and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 26
Lev D. Beklemishev Author
(2000)
Hausdorff Gaps and Limits
Studies in Logic and the Foundations of Mathematics (Series)
Book 132
R. Frankiewicz Author
P. Zbierski Author
(1994)
Foundations of Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 67
A.A. Fraenkel Author
Y. Bar-Hillel Author
(1973)
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 13
Lev D. Beklemishev Author
(2000)
Equivalents of the Axiom of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 116
H. Rubin Author
J.E. Rubin Author
(1985)
Harvey Friedman's Research on...
Studies in Logic and the Foundations of Mathematics (Series)
Book 117
L.A. Harrington Editor
M.D. Morley Editor
(1985)
Axiomatic Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 21
Lev D. Beklemishev Author
(2000)
Logic Colloquium '86
Studies in Logic and the Foundations of Mathematics (Series)
Book 124
F.R. Drake Editor
J.K. Truss Editor
(1987)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 24
Lev D. Beklemishev Author
(2000)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 126
J.E. Fenstad Editor
I.T. Frolov Editor
(1989)
