Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Książka |
| Język: | angielski |
| Wydane: |
Amsterdam
North-Holland
1964
|
| Seria: | Studies in logic and the foundations of mathematics
|
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Napisz pierwszy komentarz!