著者
書誌事項
Perspectives in mathematical logic
Springer-Verlag
この図書・雑誌をさがす
注記
By Ω-Group: R.O. Gandy ... [et al.]
関連文献： 28件中 1-20を表示
- 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
所蔵館2館
-
2
- Finite model theory
-
Heinz-Dieter Ebbinghaus, Jörg Flum
Springer c1999 2nd rev. and enl. ed Perspectives in mathematical logic
所蔵館24館
-
3
- Subsystems of second order arithmetic
-
Stephen G. Simpson
Springer-Verlag c1999 Perspectives in mathematical logic
: hard
所蔵館30館
-
4
- Proper and improper forcing
-
Saharon Shelah
New York : Springer 1998 2nd ed Perspectives in mathematical logic
hard : alk. paper
所蔵館26館
-
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
所蔵館9館
-
6
- Set theory
-
Thomas Jech
Springer c1997 2nd corrected ed Perspectives in mathematical logic
所蔵館42館
-
7
- The classical decision problem
-
Egon Börger, Erich Grädel, Yuri Gurevich
Springer c1997 Perspectives in mathematical logic
: gw
所蔵館29館
-
8
- Essential stability theory
-
Steven Buechler
Springer c1996 Perspectives in mathematical logic
所蔵館29館
-
9
- Finite model theory
-
Heinz-Dieter Ebbinghaus, Jörg Flum
Springer c1995 Perspectives in mathematical logic
所蔵館38館
-
10
- The higher infinite : large cardinals in set theory from their beginnings
-
Akihiro Kanamori
Springer-Verlag c1994 Perspectives in mathematical logic
: gw , : us
所蔵館30館
-
11
- Metamathematics of first-order arithmetic
-
Petr Hájek, Pavel Pudlák
Springer-Verlag c1993 Perspectives in mathematical logic
: gw : softcover , : us
所蔵館46館
-
12
- Higher recursion theory
-
Gerald E. Sacks
Springer-Verlag c1990 Perspectives in mathematical logic
: gw , : us
所蔵館34館
-
13
- Computability in analysis and physics
-
Marian B. Pour-El, J. Ian Richards
Springer c1989 Perspectives in mathematical logic
: gw , : us
所蔵館46館
-
14
- Fundamentals of stability theory
-
John T. Baldwin
Springer-Verlag c1988 Perspectives in mathematical logic
: us , : gw
所蔵館35館
-
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.
所蔵館36館
-
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.
所蔵館34館
-
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.
所蔵館34館
-
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.
所蔵館34館
-
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.
所蔵館35館
-
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.
所蔵館36館
- 1
- 2
- 1 / 2
