El teorema de Gödel / Ernest Nagel, James R. Newman ; Tr. Adolfo Martín
By: Nagel, Ernest.
Contributor(s): Newman, James R | Martín, Adolfo [tr.].
Series: Colección Filosofía y Ensayo.Madrid : Tecnos, 2000 Edition: 3 ed.Description: 140 p. ; 21 cm.ISBN: 84-309-2590-2.Subject(s): Teorema de godel | Logica matematicaDDC classification: 511.3 / N147tItem type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central | FONDO BIBL | 511.3 / N147t (Browse shelf) | 8001 | 1 | Available | CO | 8000008009 |
El problema de la consistencia -- Pruebas absolutas de consistencia -- La codificación sistemática de la
lógica formal -- Un ejemplo de una prueba absoluta de consistencia -- La idea de representación y su empleo
en las Matemáticas -- Las pruebas de Gödel -- Reflexiones finales --
Gödel´s Proof
There are no comments for this item.