Smith, Peter An Introduction to Godel's theorems - Cambridge Cambridge Uni Pr 2007 - xiv;361p - Cambridge introduction to philosophy . Subjects--Topical Terms: Logic, Symbolic and mathematicalGodel, KurtMathematics Dewey Class. No.: 511.3/SMI