TY  - THES
AU  - Gallego Castaño, Enrique
A3  - Prida, José F
PY  - 2004
DO  - b21965651
SN  - 978-84-669-2391-0
UR  - https://hdl.handle.net/20.500.14352/55470
AB  - El objetivo de esta memoria es analizar las tecnicas para la demostracion de la indecidibilidad de las teorias que aparecen habitualmente en Matematicas: teoria de grupos, teoria de anillos, teoria de grafos, etc. Los teoremas fundamentales de...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Lógica
TI  - Tecnicas de demostración de indecibilidad e inseparabilidad en teorías formales
M3  - doctoral thesis
ER  -