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
-
1
- A theory of truth
-
Yannis Stephanou
Cambridge University Press 2024 Lecture notes in logic 55
Available at 2 libraries
-
2
- A comparison process for mouse pairs
-
John R. Steel
Cambridge University Press c2023 Lecture notes in logic 51
Available at 2 libraries
-
3
- 3-multi-graphs and 2-multi-tournaments
-
Gregory Cherlin
Cambridge University Press 2022 Lecture notes in logic 54 . Homogeneous ordered graphs,
metrically homogeneous graphs, and beyond ; v. 2 :hbk.
Available at 3 libraries
-
4
- Ordered graphs and distanced graphs
-
Gregory Cherlin
Cambridge University Press 2022 Lecture notes in logic 53 . Homogeneous ordered graphs,
metrically homogeneous graphs, and beyond ; v. 1 :hbk.
Available at 4 libraries
-
5
- Complexity of infinite-domain constraint satisfaction
-
Manuel Bodirsky
Association for Symbolic Logic , Cambridge University Press 2021 Lecture notes in logic 52
Available at 7 libraries
-
6
- Large cardinals, determinacy and other topics
-
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Association for Symbolic Logic , Cambridge University Press 2021 Lecture notes in logic 49. The Cabal seminar ; v. 4
: hardback
Available at 3 libraries
-
7
- Algorithmic randomness : progress and prospects
-
edited by Johanna N.Y. Franklin, Christopher P. Porter
Association for Symbolic Logic , Cambridge Unviersity Press 2020 Lecture notes in logic 50
Available at 7 libraries
-
8
- Abstract recursion and intrinsic complexity
-
Yiannis N. Moschovakis
Cambridge University Press 2019 Lecture notes in logic 48
Available at 8 libraries
-
9
- Descriptive complexity, canonisation, and definable graph structure theory
-
Martin Grohe
Association for Symbolic Logic , Cambridge University Press 2017 Lecture notes in logic 47
: hardback
Available at 6 libraries
-
10
- A general algebraic semantics for sentential logics
-
Josep Maria Font, Ramon Jansana
Association for Symbolic Logic c2016 2nd ed. Lecture notes in logic 7
Available at 1 libraries
-
11
- Descriptive set theory and forcing : how to prove theorems about borel sets the hard way
-
Arnold W. Miller
Association for Symbolic Logic , Cambridge University Press c2016 Lecture notes in logic 4
: hardback
Available at 1 libraries
-
12
- Fine structure and iteration trees
-
William J. Mitchell, John R. Steel
Association for Symbolic Logic , Cambridge University Press c2016 Lecture notes in logic 3
hbk.
Available at 2 libraries
-
13
- Lectures on infinitary model theory
-
David Marker, University of Illinois, Chicago
Association for Symbolic Logic , Cambridge University Press 2016 Lecture notes in logic 46
: hbk
Available at 3 libraries
-
14
- Ordinal definability and recursion theory
-
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Association for Symbolic Logic , Cambridge University Press 2016 Lecture notes in logic 43 . The Cabal seminar ; v. 3
: hardback
Available at 7 libraries
-
15
- Logic and algebraic structures in quantum computing
-
edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov
Cambridge University Press 2016 Lecture notes in logic 45
: hard
Available at 5 libraries
-
16
- A guide to NIP theories
-
Pierre Simon
Cambridge University Press 2015 Lecture notes in logic
hbk.
Available at 5 libraries
-
17
- Turing's legacy : developments from Turing's ideas in logic
-
edited by Rod Downey
Association for Symbolic Logic , Cambridge University Press 2014 Lecture notes in logic 42
Available at 8 libraries
-
18
- Effective mathematics of the uncountable
-
edited by Noam Greenberg ... [et. al.]
Association for Symbolic Logic , Cambridge University Press 2013 Lecture notes in logic 41
: hbk.
Available at 5 libraries
-
19
- 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
Available at 3 libraries
-
20
- A course in model theory
-
Katrin Tent, Martin Ziegler
Cambridge University Press 2012 Lecture notes in logic 40
: hbk
Available at 13 libraries