An introduction to Gödel's theorems - Smith, Peter 1944- (Cambridge Univ. Press, 2011)