書誌事項
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
-
21
- Kurt Gödel : essays for his centennial
-
edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
Association for Symbolic Logic , Cambridge University Press 2013 Lecture notes in logic 33
: pbk
所蔵館3館
-
22
- A course in model theory
-
Katrin Tent, Martin Ziegler
Cambridge University Press 2012 Lecture notes in logic 40
: hbk
所蔵館14館
-
23
- Wadge degrees and projective ordinals
-
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Cambridge University Press 2012 Lecture notes in logic 37 . The Cabal seminar ; v. 2
所蔵館7館
-
24
- Stable domination and independence in algebraically closed valued fields
-
Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Association for Symbolic Logic , Cambridge University Press 2011, c2008 Lecture notes in logic 30
: pbk
所蔵館1館
-
25
- Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
-
edited by Juliette Kennedy, Roman Kossak
Association for Symbolic Logic , Cambridge University Press 2011 Lecture notes in logic 36
所蔵館11館
-
26
- Simple theories and hyperimaginaries
-
Enrique Casanovas
Association for Symbolic Logic , Cambridge University Press 2011 Lecture notes in logic 39
所蔵館7館
-
27
- Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
-
Robert Goldblatt
Association for Symbolic Logic , Cambridge University Press 2011 Lecture notes in logic 38
所蔵館11館
-
28
- Logic Colloquium 2007
-
edited by Françoise Delon ... [et al.]
Cambridge University Press 2010 Lecture notes in logic 35
: hbk
所蔵館9館
-
29
- A framework for priority arguments
-
Manuel Lerman
Cambridge University Press 2010 Lecture notes in logic 34
所蔵館7館
-
30
- Kurt Gödel : essays for his centennial
-
edited by Solomon Feferman, Charles Parsons, Steven G. Simpson
Cambridge University Press 2010 Lecture notes in logic 33
所蔵館13館
-
31
- Logic Colloquium 2006
-
edited by S. Barry Cooper ... [et al.]
Association for Symbolic Logic , Cambridge University Press 2009 Lecture notes in logic 32
: hbk
所蔵館9館
-
32
- Games, scales, and suslin cardinals
-
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Cambridge University Press 2008 Lecture notes in logic 31 . The Cabal seminar ; v. 1
所蔵館10館
-
33
- Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
-
edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella
Cambridge University Press , Association for Symbolic Logic 2008 Lecture notes in logic 29
: hbk
所蔵館8館
-
34
- Stable domination and independence in algebraically closed valued fields
-
Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Cambridge University Press , Association for Symbolic Logic 2008 Lecture notes in logic 30
: hbk , :pbk
所蔵館9館
-
35
- Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
-
edited by Costas Dimitracopoulos ... [et al.]
Cambridge University Press 2008 Lecture notes in logic 28
所蔵館11館
-
36
- Model theory of fields
-
David Marker, Margit Messmer, Anand Pillay
Association for Symbolic Logic , A K Peters c2006 2nd ed Lecture notes in logic 5
所蔵館2館
-
37
- Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
-
edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers
A K Peters c2006 Lecture notes in logic 27
: hbk , : pbk
所蔵館7館
-
38
- Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003
-
edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri
Association for Symbolic Logic , A K Peters c2006 Lecture notes in logic 26
:pbk
所蔵館6館
-
39
- Nonstandard methods and applications in mathematics
-
edited by Nigel J. Cutland, Mauro Di Nasso, David A. Ross
Association for Symbolic Logic 2006 Lecture notes in logic 25
hbk , pbk
所蔵館8館
-
40
- Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
-
edited by Viggo Stoltenberg-Hansen, Jouko Väänänen
Association for Symbolic Logic , A K Peters c2006 Lecture notes in logic 24
: hbk , : pbk
所蔵館8館