An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Canonical Ramsey Theory on Polish Spaces (Cambridge Tracts in Mathematics)
Coherence in Three-Dimensional Category Theory (Cambridge Tracts in Mathematics)
Elements of Automata Theory
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications)
Relational Mathematics: 132 (Encyclopedia of Mathematics and its Applications, Series Number 132)
Sets for Mathematics
Simple Theories and Hyperimaginaries (Lecture Notes in Logic)
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
