Unvollständigkeit und Unentscheidbarkeit.
By: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
Edition: 2., berichtigte Aufl.
Publisher: Springer
Published: 1970
Place of publication: Wien; New York
Language: ger
Number of pages: 114
Subjects: Metamathematics.; Incompleteness theorems.
Notes: Bibliography: p. [112]