| Peter Smith: |
| An Introduction to Gödel's Theorems |
| Cambridge University Press, 2013 | |
|
| Charles Petzold: |
| The Annotated Turing |
| John Wiley & Sons, 2008 | |
|
| Torkel Franzen |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
| A K Peters, 2005 | |
|
| Robert S. Wolf |
| A Tour through Mathematical Logic |
| The Mathematical Association of America, 2010 | |
|
| Elliott Mendelson |
| Introduction to Mathematical Logic |
| Chapman & Hall, 2009 | |
|
| Peter Schmitt |
| Skriptum zur Vorlesung Formale Systeme |
| Karlsruher Institut für Technologie | |
|
| Oliver Deiser |
| Einführung in die Mengenlehre |
| Springer, 2009 | |
|
| Douglas Hofstadter |
| Gödel, Escher, Bach. Ein Endloses Geflochtenes Band |
| Klett-Cotta, 2008 | |
|
| Andrew Hodges |
| Alan Turing, Enigma |
| Springer, 1995 | |
|
| John W. Dawson |
| Das logische Dilemma. Leben und Werk von Kurt Gödel |
| Springer, 1999 | |
|
| Stephen Wolfram |
| A New Kind of Science |
| Wolfram Media Inc., 2002 | |
|
| Markus Reichhalter |
| Cantor - Frege - Zermelo |
| VDM Verlag, 2010 | |
|
| Jean van Heijenoort |
| From Frege to Gödel |
| Harvard University Press, 2002 | |
|
| Thomas Bedürftig, R. Murawski |
| Philosophie der Mathematik |
| De Gruyter, 2010 | |
|
Prof. Dr. Dirk W. Hoffmann
