Cambridge University Press Constructibility: 6 (Perspectives in Logic, Series Number 6)

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

Cambridge University Press

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

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

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

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Oxford University Press

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Springer

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Springer

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

North Holland

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Elsevier

Logic and Structure (Universitext)

Springer

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

Cambridge University Press

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Cambridge University Press

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

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

Sets And Computations: 33 (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

World Scientific Publishing Company

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

Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

Springer

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

Cambridge University Press

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

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

Birkhauser

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

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

Cambridge University Press

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

Oxford University Press