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

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

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

Higher Order Logic and Type Theory (Elements in Philosophy Logic)

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