| Título | On formally undecidable propositions of Principia mathematica and related systems |
| Autores | Gödel, Kurt (Autor) |
| Editorial | New York : Dover Publications, 1992 |
| ISBN | 0486669807 |
| Localización | Estantería 8 inferior, balda 5 (No confirmado) |
| Catálogo | Catálogo general |