An Introduction to Gödel's Theorems - Peter Smith (Cambridge Introductions to Philosophy, 2013)