SMITH, Peter An introduction to godel's theorems / Peter Smith - Cambridge Cambridge University Press 2012 - xiv, 362 p. includes bibliography and index ISBN: 9780521674539 Subjects--Topical Terms: Mathematical logic Dewey Class. No.: 511.3 / SMI