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
Proceedings of the Fourth...
Studies in Logic and the Foundations of Mathematics (Series)
Book 74
Lev D. Beklemishev Author
(2000)
Elementary Induction on...
Studies in Logic and the Foundations of Mathematics (Series)
Book 77
Lev D. Beklemishev Author
(2000)
Foundational Studies
Studies in Logic and the Foundations of Mathematics (Series)
Book 93B
Lev D. Beklemishev Author
(2000)
WORD PROBLEMS II
Studies in Logic and the Foundations of Mathematics (Series)
Book 95
Lev D. Beklemishev Author
(2000)
Mathematical Logic in Latin...
Studies in Logic and the Foundations of Mathematics (Series)
Book 99
Lev D. Beklemishev Author
(2000)
Constructivism in Mathematics...
Studies in Logic and the Foundations of Mathematics (Series)
Book 121
A.S. Troelstra Author
D. van Dalen Author
(1988)
Spectral Theory of Random...
Studies in Logic and the Foundations of Mathematics (Series)
Vyacheslav L. Girko Author
(1951)
The Axiom of Choice
Studies in Logic and the Foundations of Mathematics (Series)
Book 75
Lev D. Beklemishev Author
(2000)
Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 76
Lev D. Beklemishev Author
(2000)
Logic Colloquium '77
Studies in Logic and the Foundations of Mathematics (Series)
Book 96
Lev D. Beklemishev Author
(2000)
Logic Colloquium '78,...
Studies in Logic and the Foundations of Mathematics (Series)
Book 97
Lev D. Beklemishev Author
(2000)
An Algebraic Approach to...
Studies in Logic and the Foundations of Mathematics (Series)
Book 78
Lev D. Beklemishev Author
(2000)
Foundational Studies Selected...
Studies in Logic and the Foundations of Mathematics (Series)
Book 93A
Lev D. Beklemishev Author
(2000)
Generalized Recursion Theory II
Studies in Logic and the Foundations of Mathematics (Series)
Book 94
Lev D. Beklemishev Author
(2000)
Spectral Theory of Random...
Studies in Logic and the Foundations of Mathematics (Series)
Vyacheslav L. Girko Author
(1951)
Lectures on the Curry-Howard...
Studies in Logic and the Foundations of Mathematics (Series)
Book 149
Morten Heine Sørensen Author
Pawel Urzyczyn Author
(2006)
Residuated Lattices
Studies in Logic and the Foundations of Mathematics (Series)
Book 151
Nikolaos Galatos Author
Peter Jipsen Author
(2007)
Quantification in...
Studies in Logic and the Foundations of Mathematics (Series)
Book 153
Dov M. Gabbay Author
Dimitrij Skvortsov Author
(2009)
Realizability
Studies in Logic and the Foundations of Mathematics (Series)
Book 152
Jaap van Oosten Author
(2008)
Categorical Logic and Type...
Studies in Logic and the Foundations of Mathematics (Series)
Book 141
B. Jacobs Author
(1999)
Computable Structures and the...
Studies in Logic and the Foundations of Mathematics (Series)
Book 144
C.J. Ash Author
J. Knight Author
(2000)
Handbook of Proof Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 137
S.R. Buss Editor
(1998)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Lev D. Beklemishev Author
(2000)
Proof Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 81
Lev D. Beklemishev Author
(2000)
Large Infinitary Languages
Studies in Logic and the Foundations of Mathematics (Series)
Book 83
Lev D. Beklemishev Author
(2000)
Sets and Classes on the Work...
Studies in Logic and the Foundations of Mathematics (Series)
Book 84
Lev D. Beklemishev Author
(2000)
SET THEORY
Studies in Logic and the Foundations of Mathematics (Series)
Book 86
Lev D. Beklemishev Author
(2000)
Logic Colloquium 76,...
Studies in Logic and the Foundations of Mathematics (Series)
Book 87
Lev D. Beklemishev Author
(2009)
Algebra of Proofs
Studies in Logic and the Foundations of Mathematics (Series)
Book 88
Lev D. Beklemishev Author
(2000)
Non-Classical Logics, Model...
Studies in Logic and the Foundations of Mathematics (Series)
Book 89
Lev D. Beklemishev Author
(2000)
Combinatorial Set Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 91
Lev D. Beklemishev Author
(2000)
Generalized Recursion Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 79
Lev D. Beklemishev Author
(2000)
