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

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

Cambridge University Press

Handbook of Philosophical Logic: Volume 8

Springer

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

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

Cambridge University Press

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

Bounded Variable Logics and Counting: A Study in Finite Models: 9 (Lecture Notes in Logic, Series Number 9)

Cambridge University Press

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

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

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

Oxford University Press

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

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

Cambridge University Press

Admissible Sets and Structures: 7 (Perspectives in Logic, 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

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

Cambridge University Press

A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)

Cambridge University Press

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

Cambridge University Press

Handbook of Philosophical Logic: Volume 8

Springer

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

Cambridge University Press

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

Cambridge University Press

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

Cambridge University Press

Papers in Philosophical Logic: Volume 1 (Cambridge Studies in Philosophy)

Cambridge University Press

A Shorter Model Theory

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

The Logic of Infinity

Cambridge University Press