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 31
Lev D. Beklemishev Author
(2000)
Handbook of Computability Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 140
E.R. Griffor Editor
(1999)
Introduction to the Theory of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 38
Lev D. Beklemishev Author
(2000)
The Foundations of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 39
Lev D. Beklemishev Author
(2000)
Sets, Models and Recursion...
Studies in Logic and the Foundations of Mathematics (Series)
Book 46
Lev D. Beklemishev Author
(2000)
Intuitionistic Logic Model...
Studies in Logic and the Foundations of Mathematics (Series)
Book 54
Lev D. Beklemishev Author
(2000)
Constructive Order Types
Studies in Logic and the Foundations of Mathematics (Series)
Book 56
Lev D. Beklemishev Author
(2000)
The Theory of Semisets
Studies in Logic and the Foundations of Mathematics (Series)
Book 70
Lev D. Beklemishev Author
(2000)
Word Problems
Studies in Logic and the Foundations of Mathematics (Series)
Book 71
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 32
Lev D. Beklemishev Author
(2000)
Admissibility of Logical...
Studies in Logic and the Foundations of Mathematics (Series)
Book 136
V.V. Rybakov Author
(1997)
Computer Programming and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 35
Lev D. Beklemishev Author
(2000)
Languages with Expressions of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 36
Lev D. Beklemishev Author
(2000)
A Transfinite Type Theory...
Studies in Logic and the Foundations of Mathematics (Series)
Book 37
Lev D. Beklemishev Author
(2000)
The Collected Papers of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 55
Lev D. Beklemishev Author
(2000)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 33
Lev D. Beklemishev Author
(2000)
Logical Frameworks for Truth...
Studies in Logic and the Foundations of Mathematics (Series)
Book 135
A. Cantini Author
(1996)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Book 34
Lev D. Beklemishev Author
(2000)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 44
Lev D. Beklemishev Author
(2009)
Problems in the Philosophy of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 49
Lev D. Beklemishev Author
(2000)
Contributions to Mathematical...
Studies in Logic and the Foundations of Mathematics (Series)
Book 50
Lev D. Beklemishev Author
(2000)
The Problem of Inductive Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 51
Lev D. Beklemishev Author
(2000)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 52
Lev D. Beklemishev Author
(2000)
SET THEORY
Studies in Logic and the Foundations of Mathematics (Series)
Book 53
Lev D. Beklemishev Author
(2000)
Constructible Sets with...
Studies in Logic and the Foundations of Mathematics (Series)
Book 57
Lev D. Beklemishev Author
(2000)
Mathematical Logic and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 59
Lev D. Beklemishev Author
(2000)
Truth, Syntax and Modality
Studies in Logic and the Foundations of Mathematics (Series)
Book 68
Lev D. Beklemishev Author
(2000)
Logic in Algebraic Form
Studies in Logic and the Foundations of Mathematics (Series)
Book 72
Lev D. Beklemishev Author
(2000)
Rudiments of Calculus
Studies in Logic and the Foundations of Mathematics (Series)
Book 146
A. Arnold Editor
D. Niwinski Editor
(2001)
Relation Algebras by Games
Studies in Logic and the Foundations of Mathematics (Series)
Book 147
Robin Hirsch Author
Ian Hodkinson Author
(2002)
Many-Dimensional Modal Logics
Studies in Logic and the Foundations of Mathematics (Series)
Book 148
A. Kurucz Author
F. Wolter Author
(2003)
Selected Papers on Automath
Studies in Logic and the Foundations of Mathematics (Series)
Book 133
R.P. Nederpelt Editor
J.H. Geuvers Editor
(1994)
Logic, Methodology and...
Studies in Logic and the Foundations of Mathematics (Series)
Book 134
D. Prawitz Editor
B. Skyrms Editor
(1995)
Problems in the Philosophy of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 47
Brouwer Editor
(2011)
Theory of Relations
Studies in Logic and the Foundations of Mathematics (Series)
Book 145
R. Fraisse Author
(2000)
Formal Systems and Recursive...
Studies in Logic and the Foundations of Mathematics (Series)
Book 40
Lev D. Beklemishev Author
(2000)
Intuitionism an Introduction
Studies in Logic and the Foundations of Mathematics (Series)
Book 41
Lev D. Beklemishev Author
(2000)
Studies in Logic and the...
Studies in Logic and the Foundations of Mathematics (Series)
Book 42
Lev D. Beklemishev Author
(2000)
Aspects of Inductive Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 43
Lev D. Beklemishev Author
(2000)
A Deductive Theory of Space...
Studies in Logic and the Foundations of Mathematics (Series)
Book 45
Lev D. Beklemishev Author
(2000)
Elements of Mathematical Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 48
Lev D. Beklemishev Author
(2000)
Intuitionism and Proof Theory
Studies in Logic and the Foundations of Mathematics (Series)
Book 60
Lev D. Beklemishev Author
(2000)
LOGIC COLLOQUIUM '69
Studies in Logic and the Foundations of Mathematics (Series)
Book 61
Lev D. Beklemishev Author
(2000)
Model Theory For Infinitary...
Studies in Logic and the Foundations of Mathematics (Series)
Book 62
Lev D. Beklemishev Author
(2000)
Proceedings of the Second...
Studies in Logic and the Foundations of Mathematics (Series)
Book 63
Lev D. Beklemishev Author
(2000)
Combinatory Logic
Studies in Logic and the Foundations of Mathematics (Series)
Book 65
Lev D. Beklemishev Author
(2009)
The Metamathematics of...
Studies in Logic and the Foundations of Mathematics (Series)
Book 66
Lev D. Beklemishev Author
(2000)
