TY - BOOK ID - 6782453 TI - Incompleteness : the proof and paradox of Kurt Gödel PY - 2005 SN - 0393051692 9780393051698 PB - New York: Norton, DB - UniCat KW - Logicians KW - Proof theory. KW - Gödel, Kurt. KW - Gödel's theorem KW - Proof theory KW - Gödel's incompleteness theorem KW - Undecidable theories KW - Gödel, Kurt. KW - Gkentel, Kourt KW - גדל KW - Logic, Symbolic and mathematical KW - Philosophers KW - Arithmetic KW - Completeness theorem KW - Incompleteness theorems KW - Number theory KW - Decidability (Mathematical logic) KW - Foundations KW - Logicians - United States - Biography. KW - Logicians - Austria - Biography. KW - Gödel's theorem. UR - https://www.unicat.be/uniCat?func=search&query=sysid:6782453 AB - An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever. ER -