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

Constructibility: 6 (Perspectives in Logic, Series Number 6)

Cambridge University Press

A General Algebraic Semantics for Sentential Logics: 7 (Lecture Notes in Logic, Series Number 7)

Cambridge University Press

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

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

Cambridge University Press

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

Springer Handbook of Philosophical Logic: 2nd Edition

Springer

Set Theory, Logic and their Limitations

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

Proper and Improper Forcing: 5 (Perspectives in Logic, Series Number 5)

Cambridge University Press

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

Cambridge University Press

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

Cambridge University Press

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

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

Degrees of Unsolvability: Local and Global Theory: 11 (Perspectives in Logic, Series Number 11)

Cambridge University Press

An Invitation to Model Theory

Cambridge University Press

Fundamentals of Stability Theory: 12 (Perspectives in Logic, Series Number 12)

Cambridge University Press

Computable Structure Theory: Within the Arithmetic (Perspectives in Logic)

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

Cambridge University Press

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

North Holland

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Cambridge University Press

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

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

Cambridge University Press

Aspects of Incompleteness: 10 (Lecture Notes in Logic, Series Number 10)

Cambridge University Press