Notas bibliográficas: Gódel's proof
E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, 1931, como t...
- Autores:
-
E., Nacel
J. R., Newman
A., Trendall
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1960
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/64193
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/64193
http://bdigital.unal.edu.co/65039/
- Palabra clave:
- 1 Filosofía y psicología / Philosophy and psychology
16 Lógica / Logic
34 Derecho / Law
4 Lenguas / Language
Técnica axiomática
Consistencia lógica
Lógica Formal
Gramática
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional