Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Wolfgang Stegmüller年:
1970
出版:
2
出版社:
Springer Vienna
语言:
german
ISBN 10:
3709145287
ISBN 13:
9783709145289
文件:
PDF, 15.53 MB
IPFS:
,
german, 1970