Author(s)
Bibliographic Information
Perspectives in mathematical logic
Springer-Verlag
Search this Book/Journal
Note
By Ω-Group: R.O. Gandy ... [et al.]
Related Books： 1-20 of 28
- 1
- 2
- 1 / 2
-
1
- Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
-
Robert I. Soare
Springer-Verlag [20--], c1987 Perspectives in mathematical logic
: pbk
Available at 2 libraries
-
2
- Finite model theory
-
Heinz-Dieter Ebbinghaus, Jörg Flum
Springer c1999 2nd rev. and enl. ed Perspectives in mathematical logic
Available at 24 libraries
-
3
- Subsystems of second order arithmetic
-
Stephen G. Simpson
Springer-Verlag c1999 Perspectives in mathematical logic
: hard
Available at 30 libraries
-
4
- Proper and improper forcing
-
Saharon Shelah
New York : Springer 1998 2nd ed Perspectives in mathematical logic
hard : alk. paper
Available at 26 libraries
-
5
- The higher infinite : large cardinals in set theory from their beginnings
-
Akihiro Kanamori
Springer-Verlag c1997 Corrected 2nd printing Perspectives in mathematical logic
: gw
Available at 9 libraries
-
6
- Set theory
-
Thomas Jech
Springer c1997 2nd corrected ed Perspectives in mathematical logic
Available at 42 libraries
-
7
- The classical decision problem
-
Egon Börger, Erich Grädel, Yuri Gurevich
Springer c1997 Perspectives in mathematical logic
: gw
Available at 29 libraries
-
8
- Essential stability theory
-
Steven Buechler
Springer c1996 Perspectives in mathematical logic
Available at 29 libraries
-
9
- Finite model theory
-
Heinz-Dieter Ebbinghaus, Jörg Flum
Springer c1995 Perspectives in mathematical logic
Available at 38 libraries
-
10
- The higher infinite : large cardinals in set theory from their beginnings
-
Akihiro Kanamori
Springer-Verlag c1994 Perspectives in mathematical logic
: gw , : us
Available at 30 libraries
-
11
- Metamathematics of first-order arithmetic
-
Petr Hájek, Pavel Pudlák
Springer-Verlag c1993 Perspectives in mathematical logic
: gw : softcover , : us
Available at 46 libraries
-
12
- Higher recursion theory
-
Gerald E. Sacks
Springer-Verlag c1990 Perspectives in mathematical logic
: gw , : us
Available at 35 libraries
-
13
- Computability in analysis and physics
-
Marian B. Pour-El, J. Ian Richards
Springer c1989 Perspectives in mathematical logic
: gw , : us
Available at 46 libraries
-
14
- Fundamentals of stability theory
-
John T. Baldwin
Springer-Verlag c1988 Perspectives in mathematical logic
: us , : gw
Available at 37 libraries
-
15
- Proof theory, constructive mathematics
-
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
Springer-Verlag c1987 Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6
: Germany , : U.S.
Available at 37 libraries
-
16
- Set theory
-
Andreas R. Blass (editor)
Springer-Verlag c1987 Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5
: Germany , : U.S.
Available at 35 libraries
-
17
- Recursion theory
-
Peter G. Hinman (editor)
Springer-Verlag c1987 Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4
: Germany , : U.S.
Available at 35 libraries
-
18
- Model theory
-
Heinz-Dieter Ebbinghaus (editor)
Springer-Verlag c1987 Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3
: Germany , : U.S.
Available at 35 libraries
-
19
- Non-classical logics
-
Wolfgang Rautenberg (editor)
Springer-Verlag c1987 Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2
: Germany , : U.S.
Available at 36 libraries
-
20
- Classical logic
-
Wolfgang Rautenberg (editor)
Springer-Verlag c1987 Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 1
: Germany , : U.S.
Available at 37 libraries
- 1
- 2
- 1 / 2
