Logical Consequence (Cambridge Elements: Elements in Philosophy and Logic)

Logical Pluralism (Elements in Philosophy and Logic)

Classical First-Order Logic (Cambridge Elements: Elements in Philosophy and Logic)

Proofs and Models in Philosophical Logic (Cambridge Elements: Elements Philosophy Logic)

Gödel's Incompleteness Theorems (Cambridge Elements: Elements in Philosophy and Logic)