Una lógica trivalorada para funciones recursivas parciales

Detalles Bibliográficos
Autor principal: Gavilanes Franco, Antonio (-)
Autor Corporativo: Universidad Complutense de Madrid (-)
Otros Autores: Rodríguez Artalejo, Mario
Formato: Libro electrónico
Idioma:Castellano
Publicado: Madrid : Universidad Complutense 1990.
Edición:[Ed. facs.]
Colección:Tesis doctorales / Universidad Complutense de Madrid.
Materias:
Acceso en línea:Conectar con la versión electrónica
Ver en Universidad de Navarra:https://innopac.unav.es/record=b17534161*spi
Descripción
Descripción Física:1 recurso electrónico (225 p.)
Formato:Forma de acceso: World Wide Web.
Bibliografía:Incluye referencias bibliográficas (p. 222-225)