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
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)
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 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)
Logic Colloquium '86
Studies in Logic and the Foundations of Mathematics (Series)
Book 124
F.R. Drake Editor
J.K. Truss Editor
(1987)
