Gödel's proof - Nagel, Ernest, 1901-1985. (Routledge, 2005)
First published 1958 by Routledge.