Author(s)
Bibliographic Information
Lecture notes in logic
Cambridge University Press
Search this Book/Journal
Note
"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
- Reverse mathematics 2001
-
edited by Stephen G. Simpson
A K Peters c2005 Lecture notes in logic 21
: hard , : paperback
Available at 12 libraries
-
42
- 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.
Available at 10 libraries
-
43
- The Notre Dame lectures
-
edited by Peter Cholak
A.K. Peters c2005 Lecture notes in logic 18
: pbk
Available at 9 libraries
-
44
- 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.
Available at 13 libraries
-
45
- Inexhaustibility : a non-exhaustive treatment
-
by Torkel Franzén
AK Peters c2004 Lecture notes in logic 16
pbk
Available at 8 libraries
-
46
- 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
Available at 11 libraries
-
47
- 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
Available at 13 libraries
-
48
- 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
Available at 17 libraries
-
49
- Model theory of stochastic processes
-
by Sergio Fajardo, H. Jerome Keisler
Association for Symbolic Logic c2002 Lecture notes in logic 14
: hbk , : pbk
Available at 17 libraries
-
50
- 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
Available at 4 libraries
-
51
- Recursion theory
-
Joseph R. Shoenfield
Association for Symbolic Logic , A.K. Peters c2001 [reprinted 2001] Lecture notes in logic 1
Available at 9 libraries
-
52
- 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
Available at 13 libraries
-
53
- 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
Available at 21 libraries
-
54
- 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
Available at 27 libraries
-
55
- Aspects of incompleteness
-
Per Lindström
Springer c1997 Lecture notes in logic 10
Available at 23 libraries
-
56
- Bounded variable logics and counting : a study in finite models
-
Martin Otto
Springer c1997 Lecture notes in logic 9
Available at 25 libraries
-
57
- 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
Available at 1 libraries
-
58
- The core model iterability problem
-
John R. Steel
Springer c1996 Lecture notes in logic 8
Available at 22 libraries
-
59
- A general algebraic semantics for sentenial logics
-
Josep Maria Font, Ramon Jansana
Springer c1996 Lecture notes in logic 7
Available at 30 libraries
-
60
- Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings
-
Petr Hájek (ed.)
Springer c1996 Lecture notes in logic 6
Available at 37 libraries