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

LMS: 115 Independence for Analysts (London Mathematical Society Lecture Note Series, Series Number 115)

Cambridge University Press

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Springer

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

Cambridge University Press

Independence-Friendly Logic: A Game-Theoretic Approach: 386 (London Mathematical Society Lecture Note Series, Series Number 386)

Cambridge University Press

Cambridge Fast Track to Forcing - LMS Student Texts 98

Cambridge University Press

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

Topology via Logic: 5 (Cambridge Tracts in Theoretical Computer Science, Series Number 5)

Cambridge University Press

Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70)

Cambridge University Press

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

Cambridge University Press

Model Theory of Fields: 5 (Lecture Notes in Logic, Series Number 5)

Cambridge University Press

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

Cambridge University Press

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

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

Cambridge University Press

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70)

Cambridge University Press

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)

World Scientific Publishing Company

Set Theory, Logic and their Limitations

Cambridge University Press

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

Cambridge University Press

Algorithmic Randomness: Progress and Prospects: 50 (Lecture Notes in Logic, Series Number 50)

Cambridge University Press

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

Cambridge University Press

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

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press