An introduction to Godel's theorems - Smith, Peter (Cambridge Cambridge University Press, 2007)
Keywords: Godel, Kurt