- 1 Werner DePauli-Schimanovich
Kurt Gödel und die Mathematische Logik
Linz: Trauner 2005; VIII, 560 S. : Ill., graph. Darst.
Mathematische Logik; Aufsatzsammlung - 2 Dirk Siefkes
Rechnen mit Zahlen oder Rechnen mit Buchstaben : numerische Mathematik und Mathematische Logik in der Informatik; S. 185 - 199
Informatik; Numerische Mathematik; Mathematische Logik