Cambridge University Press A Guide to NIP Theories: 44 (Lecture Notes in Logic, Series Number 44)

Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography: 44 (Mathematical Sciences Research Institute Publications, Series Number 44)

Cambridge University Press

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

Cambridge University Press

Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography: 44 (Mathematical Sciences Research Institute Publications, Series Number 44)

Cambridge University Press

Bruhat–Tits Theory: A New Approach: 44 (New Mathematical Monographs, Series Number 44)

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

Cambridge University Press

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

Cambridge University Press

Introduction to Model Theory (Algebra, Logic and Applications)

CRC Press

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

Cambridge University Press

Model Theory with Applications to Algebra and Analysis (London Mathematical Society Lecture Note Series, Series Number 350)

Cambridge University Press

Type Theory and Formal Proof: An Introduction

Cambridge University Press

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Springer

A Shorter Model Theory

Cambridge University Press

Category Theory: No. 49 (Oxford Logic Guides)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

Stable Domination and Independence in Algebraically Closed Valued Fields: 30 (Lecture Notes in Logic, Series Number 30)

Cambridge University Press

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

CRC Press

Set Theory: 48 (London Mathematical Society Student Texts, Series Number 48)

Cambridge University Press

Logic for Applications (Texts in Computer Science)

Springer

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Springer

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

Springer

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Oxford University Press