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 | Greenwood Press |
| Fecha de publicación | 1982 |
| Lugar | Westport, Conn |
| Idioma | inglés |
| Páginas | 117 |
| ISBN-10 | 0313231516 |
| OCLC | 8626923 |
| LCCN | 82011886 |
| Serie | Studies in logic and the foundations of mathematics. |
| Número de Cutter |