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)
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)
Classical Recursion Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 125
P. Odifreddi Author
(1992)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 126
J.E. Fenstad Editor
I.T. Frolov Editor
(1989)
Logic Colloquium '88
Studies in Logic and the Foundations of Mathematics (Series)
Book 127
R. Ferro Editor
C. Bonotto Editor
(1989)
Computability, Complexity, Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 128
E. Börger Author
(1989)
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)
Hausdorff Gaps and Limits
Studies in Logic and the Foundations of Mathematics (Series)
Book 132
R. Frankiewicz Author
P. Zbierski Author
(1994)
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 24
Lev D. Beklemishev Author
(2000)
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)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 27
Lev D. Beklemishev Author
(2000)
Lincos
Studies in Logic and the Foundations of Mathematics (Series)
Book 28
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 29
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 30
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)
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)
Axiomatic Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 21
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 22
Lev D. Beklemishev Author
(2000)
Cylindric Algebras
Studies in Logic and the Foundations of Mathematics (Series)
Book 115
Bozzano G Luisa Author
(1985)
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)
Logic Colloquium '86
Studies in Logic and the Foundations of Mathematics (Series)
Book 124
F.R. Drake Editor
J.K. Truss Editor
(1987)
Topoi
Studies in Logic and the Foundations of Mathematics (Series)
Book 98
R. Goldblatt Author
(2014)
Set Theory an Introduction to...
Studies in Logic and the Foundations of Mathematics (Series)
Book 102
K. Kunen Author
(2014)
