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
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)
Provability, Computability...
Studies in Logic and the Foundations of Mathematics (Series)
Lev D. Beklemishev Author
(2000)
Spectral Theory of Random...
Studies in Logic and the Foundations of Mathematics (Series)
Vyacheslav L. Girko Author
(1951)
