Rodríguez Artalejo, MarioGavilanes Franco, Antonio2023-06-192023-06-192015530484519Xhttps://hdl.handle.net/20.500.14352/39999Tesis de la Universidad Complutense de Madrid.Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Mario Rodríguez Artalejo.spaUna lógica trivalorada para funciones recursivas parcialesdoctoral thesisopen access510.57(043.2)Funciones recursivas.Matemáticas (Matemáticas)12 Matemáticas