Unvollständigkeit und Unentscheidbarkeit: die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
| Main Author: | |
|---|---|
| Format: | Print Book |
| Language: | German |
| Subito Delivery Service: | Order now. |
| Check availability: | HBZ Gateway |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Wien
Springer
1959
|
| In: | Year: 1959 |
| Standardized Subjects / Keyword chains: | B
Incompletion
B Indecidability B Metamathematics B Decidability |
| Further subjects: | B
Metamathematics
|
| Description not available. |