Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
MOSTOWSKI, Andrzej
|
| Titolo: |
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski
|
| Pubblicazione: | Amsterdam : North-Holland, copyr. 1952 |
| Descrizione fisica: | VIII, 117 p. : ill. ; 23 cm |
| Disciplina: | 513 |
| Soggetto topico: | Aritmetica |
| Titolo autorizzato: | Sentences Undecidable in Formalized Arithmetic |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990003229440203316 |
| Lo trovi qui: | Univ. di Salerno |
| Collocazione: | 510 SL 31 (A) |
| 510 SL 31 (B) | |
| Opac: | Controlla la disponibilità qui |
Serie:
Studies in logic and the foundations of mathematics ; 31
| Biblioteca: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |