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

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

Cambridge University Press

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

Cambridge University Press

Large Cardinals, Determinacy and Other Topics: The Cabal Seminar, Volume IV: Volume 4 (Lecture Notes in Logic, Series Number 49)

Cambridge University Press

Inner Models and Large Cardinals (De Gruyter Series in Logic & Its Applications): 5

De Gruyter

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

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

LMS: 61 The Core Model (London Mathematical Society Lecture Note Series, Series Number 61)

Cambridge University Press

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

Cambridge University Press

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

Oxford University Press

The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)

Springer

Cambridge University Press - A Comparison Process for Mouse Pairs

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

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

Essential Stability Theory: 4 (Perspectives in Logic, Series Number 4)

Cambridge University Press

Introduction to Model Theory (Algebra, Logic and Applications)

CRC Press

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

Cambridge University Press

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

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

Cambridge University Press

The Logic of Infinity

Cambridge University Press

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

Scientific Publishing

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

Springer

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

Cambridge University Press

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press