TY  - THES
AU  - Gavilanes Franco, Antonio
A3  - Rodríguez Artalejo, Mario
PY  - 2015
DO  - 530484519X
UR  - https://hdl.handle.net/20.500.14352/39999
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Funciones recursivas.
TI  - Una lógica trivalorada para funciones recursivas parciales
M3  - doctoral thesis
ER  -