Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | герман |
| Хэвлэсэн: |
Wien
Springer
1959
|
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
| Order eBook: |
|
| Order Book: | Login to order |
Ижил төстэй зүйлс: Unvollständigkeit und Unentscheidbarkeit.
- Some undecidability Results for non-monadic church-rosser thue systems.
- KLEEN, Werner [Hrsg.]
- Groups presented by finite two-monadic Church-Rosser Thue systems
- Groups presented by finite two-monadic Church-Rosser Thue systems
- Groups presented by finite two-monadic Church-Rosser Thue systems.
- Kants Theologie und ihre erkenntnistheoretische Bedeutung.