-
partly on Gödel's
short report on the
incompleteness theorems "Einige
metamathematische Resultate über
Entscheidungsdefinitheit und Widerspruchsfreiheit"...
- ISBN 90-277-1243-3, MR 0720548. Schwabhäuser, W.; Szmielew, W.; Tarski, A. (1983),
Metamathematische Methoden in der Geometrie,
Hochschultext [University Textbooks], Berlin:...
- S2CID 18551419 Schwabhäuser, W.; Szmielew, W.; Tarski,
Alfred (1983).
Metamathematische Methoden in der Geometrie. Springer-Verlag. Szczerba, L. W. (1986)...