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, L. E. J. Brouwer, E. W. Beth, A. Heyting |
|---|---|
| Editorial | Elsevier Science & Technology Books |
| Fecha de publicación | 1952 |
| Idioma | inglés |
| ISBN-13 | 9781483275123 |
| Número de Cutter | M916s |