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

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

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

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

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford 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

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

Cardinal Invariants on Boolean Algebras: Second Revised Edition: 142 (Progress in Mathematics, 142)

Birkhauser

Admissible Sets and Structures: 7 (Perspectives in Logic, Series Number 7)

Cambridge University Press

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Springer

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland