Proyecto de investigación
DOC96-2415
Lógica clásica de primer orden. Estrategias de deducción y formalización
date_range
Duración del 11 de febrero de 1997 al 10 de febrero de 1999
(24 meses)
Con carácter Privado. Se ha otorgado en régimen de Concurrencia competitiva.
Investigadores/as
JOSE LUIS
FALGUERA LOPEZ
Responsable