Sentences undecidable in formalized arithmetic
an exposition of the theory of Kurt Gödel.
Edición de la obra Sentences undecidable in formalized arithmetic
| Autor | Andrzej Mostowski |
|---|---|
| Editorial | North-Holland Pub. Co. |
| Fecha de publicación | 1964 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Páginas | 117 |
| OCLC | 21143701 |
| Serie | Studies in logic and the foundations of mathematics |
| Número de Cutter | M916s |