Unvollständigkeit und Unentscheidbarkeit
An edition of Unvollständigkeit und Unentscheidbarkeit (1959)
die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
By Wolfgang Stegmüller
Publish Date
1959
Publisher
Springer
Language
ger
Pages
114
Description:
subjects: Incompleteness theorems, Metamathematics