An introduction to Gödel's theorems - Smith, Peter, 1944- (Cambridge University Press, 2013)