書誌事項
Lecture notes in logic
Cambridge University Press
この図書・雑誌をさがす
注記
"A publication of The Association for Symbolic Logic"
Publishers varies: 1992-1999 Springer-Verlag ; 1999-2006 Association for Symbolic Logic, A K Peters, Ltd.(Co-publisher) ; 2007- Cambridge University Press
-
41
- Logicism renewed : logical foundations for mathematics and computer science
-
Paul C. Gilmore
Association for Symbolic Logic c2005 Lecture notes in logic 23
: alk. paper , : pbk. : alk. paper
所蔵館7館
-
42
- Intensionality
-
edited by Reinhard Kahle
A K Peters c2005 Lecture notes in logic 22
所蔵館6館
-
43
- Reverse mathematics 2001
-
edited by Stephen G. Simpson
A K Peters c2005 Lecture notes in logic 21
: hard , : paperback
所蔵館12館
-
44
- Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000
-
edited by René Cori ... [et al.]
A.K. Peters c2005 Lecture notes in logic 19
: pbk.
所蔵館10館
-
45
- The Notre Dame lectures
-
edited by Peter Cholak
A.K. Peters c2005 Lecture notes in logic 18
: pbk
所蔵館9館
-
46
- Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
-
edited by Matthias Baaz, Sy-David Friedman, Jan Krajíček
A.K. Peters c2005 Lecture notes in logic 20
pbk.
所蔵館13館
-
47
- Inexhaustibility : a non-exhaustive treatment
-
by Torkel Franzén
AK Peters c2004 Lecture notes in logic 16
pbk
所蔵館8館
-
48
- Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
-
edited by Jan van Eijck, Vincent van Oostrom, Albert Visser
A K Peters c2004 Lecture notes in logic 17
: pbk
所蔵館11館
-
49
- Aspects of incompleteness
-
by Per Lindström
Association for Symbolic Logic , A.K. Peters c2003 2nd ed Lecture notes in logic 10
: pbk. : acid-free paper
所蔵館13館
-
50
- Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
-
edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
Association for Symbolic Logic c2002 Lecture notes in logic 15
: hbk , : pbk
所蔵館17館
-
51
- Model theory of stochastic processes
-
by Sergio Fajardo, H. Jerome Keisler
Association for Symbolic Logic c2002 Lecture notes in logic 14
: hbk , : pbk
所蔵館17館
-
52
- Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990
-
edited by Juha Oikkonen and Jouko Väänänen
AK Peters c2001 [reprinted 2001] Lecture notes in logic 2
pbk. : acid-free paper
所蔵館4館
-
53
- Recursion theory
-
Joseph R. Shoenfield
Association for Symbolic Logic , A.K. Peters c2001 [reprinted 2001] Lecture notes in logic 1
所蔵館9館
-
54
- Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998
-
edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
Association for Symbolic Logic , A K Peters, Ltd. c2000 Lecture notes in logic 13
: hard , : pbk
所蔵館13館
-
55
- Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996
-
J.M. Larrazabal, D. Lascar, G. Mints (eds.)
Springer c1998 Lecture notes in logic 12
: pbk
所蔵館21館
-
56
- Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
-
Johann A. Makowsky, Elena V. Ravve (eds.)
Springer c1998 Lecture notes in logic 11
所蔵館27館
-
57
- Aspects of incompleteness
-
Per Lindström
Springer c1997 Lecture notes in logic 10
所蔵館23館
-
58
- Bounded variable logics and counting : a study in finite models
-
Martin Otto
Springer c1997 Lecture notes in logic 9
所蔵館25館
-
59
- Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legac
-
Edited by Petr Hájek
CRC Press c1996 Lecture notes in logic 6
所蔵館1館
-
60
- The core model iterability problem
-
John R. Steel
Springer c1996 Lecture notes in logic 8
所蔵館22館