Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livre papier |
| Hizkuntza: | Anglais |
| Argitaratua: |
Amsterdam :
North-Holland Pub. Co.
1964.
|
| Saila: | Studies in logic and the foundations of mathematics
|
| Gaiak: | |
| Autres localisations: | Voir dans le Sudoc |
| Deskribapen fisikoa: | 1 vol. (VIII-117 p.) ; 23 cm. |
|---|---|
| Bibliografia: | Bibliogr. p. [116]-117. Notes bibliogr. |