Cambridge University Press Large Cardinals, Determinacy and Other Topics: The Cabal Seminar, Volume IV (Lecture Notes in Logic, Series Number 49)

Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I: 31 (Lecture Notes in Logic, Series Number 31)

Cambridge University Press

Cambridge Ordinal Definability and Recursion Theory Book

Cambridge University Press

The Core Model Iterability Problem: 8 (Lecture Notes in Logic, Series Number 8)

Cambridge University Press

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: 37 (Lecture Notes in Logic, Series Number 37)

Cambridge University Press

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Springer

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

Oxford University Press

Inner Models and Large Cardinals: 5 (De Gruyter Series in Logic & its Applications, 5)

De Gruyter

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Cambridge University Press

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

Classic Set Theory: For Guided Independent Study (Chapman & Hall Mathematics S)

Chapman and Hall/CRC

Fine Structure and Iteration Trees: 3 (Lecture Notes in Logic, Series Number 3)

Cambridge University Press

Foundations of Mathematics (Contemporary Mathematics): Logic at Harvard Essays in Honor of W. Hugh Woodin's 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Cambridge University Press

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Springer

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

Springer

CRC Press Classic Set Theory - For Guided Independent Study

CRC Press

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Springer

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press