Tolong jelaskan mengenai Pustaka tambahan dari Kurt Gödel

John L. Casti and Werner DePauli, 2000. Gödel: A Life of Logic, Basic Books (Perseus Books Group), Cambridge, MA. ISBN 0-7382-0518-4.

John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. AK Peters, Ltd., 1996.

John W. Dawson, Jr, 1999. "Gödel and the Limits of Logic", Scientific American, vol. 280 num. 6, pp. 76–81

Torkel Franzén, 2005. Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. Wellesley, MA: A K Peters.

Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870–1940. Princeton Univ. Press.

Jaakko Hintikka, 2000. On Gödel. Wadsworth.

Douglas Hofstadter, 1980. Gödel, Escher, Bach. Vintage.

Stephen Kleene, 1967. Mathematical Logic. Dover paperback reprint ca. 2001.

Stephen Kleene, 1980. Introduction to Metamathematics. North Holland ISBN 0-7204-2103-9 (Ishi Press paperback. 2009. ISBN 978-0-923891-57-2)

J.R. Lucas, 1970. The Freedom of the Will. Clarendon Press, Oxford.

Ernest Nagel and Newman, James R., 1958. Gödel's Proof. New York Univ. Press.

Procházka, Jiří, 2006, 2006, 2008, 2008, 2010. Kurt Gödel: 1906–1978: Genealogie. ITEM, Brno. Volume I. Brno 2006, ISBN 80-902297-9-4. In Ger., Engl. Volume II. Brno 2006, ISBN 80-903476-0-6. In Germ., Engl. Volume III. Brno 2008, ISBN 80-903476-4-9. In Germ., Engl. Volume IV. Brno, Princeton 2008, ISBN 978-80-903476-5-6. In Germ., Engl. Volume V,Brno,Princeton 2010, ISBN 80-903476-9-X. In Germ., Engl.

Procházka, Jiří, 2012. "Kurt Gödel: 1906–1978: Historie". ITEM,Brno, Wien, Princeton. Volume I. ISBN 978-80-903476-2-5. In Ger., Engl.

Ed Regis, 1987. Who Got Einstein's Office? Addison-Wesley Publishing Company, Inc.

Raymond Smullyan, 1992. Godel's Incompleteness Theorems. Oxford University Press.

Olga Taussky-Todd, 1983. Remembrances of Kurt Gödel. Engineering & Science, Winter 1988.

Hao Wang, 1987. Reflections on Kurt Gödel. MIT Press.

Hao Wang, 1996. A Logical Journey: From Godel to Philosophy. MIT Press.

Yourgrau, Palle, 1999. Gödel Meets Einstein: Time Travel in the Gödel Universe. Chicago: Open Court.

Yourgrau, Palle, 2004. A World Without Time: The Forgotten Legacy of Gödel and Einstein.'' Basic Books. Book review by John Stachel in the Notices of the American Mathematical Society (54 (7), pp. 861–868):