Smith, Peter An Introduction to Godel's Theorems - 2/e - Cambridge Cambridge University Press 2013 - xvi, 388p. ISBN: 9781107606753 Subjects--Topical Terms: Logic, Symbolic & Mathematical Dewey Class. No.: 511.3 / Smi