A.W. Moore

Gödel's Theorem: A Very Short Introduction