TY  - THES 
A3  - Barba Escribá, Juan Luis
AU  - Pérez Calvo, María
PY  - 2019
UR  - http://uvadoc.uva.es/handle/10324/39831
AB  - En  el  presente  trabajo  se  ofrece  un  recorrido  explicativo  por  las diferentes versiones del Teorema de Incompletitud presentado por el lógico Kurt Gödel. La primera será la más sencilla, la cual se demuestra a través del teorema propuesto por...
LA  - spa
KW  - Kurt  Gödel
KW  - Incompletitud
TI  - Recorrido por las diferentes versiones del teorema de incompletitud de Kurt Gödel
M3  - info:eu-repo/semantics/bachelorThesis
ER  -