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 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

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

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

Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

Oxford University Press

Set Theory, Logic and their Limitations

Cambridge University Press

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

Logic and Algebra: Logic and Algebra: 302 (Contemporary Mathematics)

Oxford University Press

A First Journey through Logic (Student Mathematical Library)