Aspects of Incompleteness

Lindström, Per, 1936-2009.
New York, NY : Cambridge University Press, 2017.

Bounded variable logics and counting : a study in finite models

Otto, Martin, 1961- author.
Cambridge ; New York : Cambridge University Press, 2017.

The Cabal Seminar.

Chicago, IL : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, 2008.

The Cabal seminar.

Cambridge : Cambridge University Press, 2016.

The core model iterability problem

Steel, J. R. (John R.), 1948- author.
Cambridge : Cambridge University Press, 2017.

A course in model theory

Tent, Katrin, 1963-
Cambridge : Cambridge University Press, 2012.

Descriptive complexity, canonisation, and definable graph structure theory

Grohe, M. (Martin), author.
Cambridge : Cambridge University Press, 2017.

Descriptive set theory and forcing : how to prove theorems about borel sets the hard way

Miller, Arnold W., 1950- author.
Cambridge : Cambridge University Press, 2017.

Effective mathematics of the uncountable

[Ithaca, NY?] : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2013.

Fine structure and iteration trees

Mitchell, William J., author.
Cambridge ; New York : Cambridge University Press, [2016]

A framework for priority arguments

Lerman, M. (Manuel), 1943-
[Ithaca, NY?] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, [2010]

A general algebraic semantics for sentential logics

Font, Josep Maria, 1954- author.
Cambridge : Cambridge University Press, 2017.
Second edition.

Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy

Gödel '96 (1996 : Brno, Czech Republic)
Cambridge : Cambridge University Press, 2017.

Kurt Gödel : essays for his centennial

[Ithaca, NY] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, [2010]

Lectures on infinitary model theory

Marker, D. (David), 1958- author.
Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, [2016]

Logic and algebraic structures in quantum computing

Cambridge : Cambridge University Press, 2016.

Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Logic Colloquium.
Cambridge : Cambridge University Press, 2017.

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbo

Logic Colloquium (1995 : Haifa, Israel)
Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

Logic Colloquium (1996 : San Sebastián, Spain)
Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Sym

Logic Colloquium.
Cambridge, UK ; New York : Cambridge University Press, 2007.

Logic Colloquium 2006

Logic Colloquium (2006 : Nijmegen, Netherlands)
Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009.

Logic Colloquium 2007

Logic Colloquium (2007 : Wrocław, Poland)
Cambridge ; New York : Cambridge University Press ; [La Jolla, Calif.] : Association for Symbolic Logic, 2010.

Model theory of fields

Marker, D. (David), 1958- author.
Cambridge : Cambridge University Press, 2017.

Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural

Goldblatt, Robert.
Cambridge : Cambridge University Press, 2011.

Recursion theory

Shoenfield, Joseph R. (Joseph Robert), 1927- author.
Cambridge : Cambridge University Press, [2016]

Simple theories and hyperimaginaries

Casanovas, Enrique, 1957-
New York : Cambridge University Press, 2011.

Turing's legacy : developments from Turing's ideas in logic

Cambridge : Cambridge University Press, 2014.