Una logica trivalorada para funciones recursivas parciales

Tesis doctoral de Antonio Gavilanes Franco   Datos académicos de la tesis doctoral «Una logica trivalorada para funciones recursivas parciales« […]

, , , ,