TY  - THES
AU  - Gil Luezas, Ana
A3  - Hortalá González, María Teresa
PY  - 2015
DO  - 5304845233
UR  - https://hdl.handle.net/20.500.14352/40001
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Análisis matemático no standard.
KW  - Programación lógica.
TI  - Una lógica no estandar admisible para programas funcionales
M3  - doctoral thesis
ER  -