Proyecto de investigación

DOC96-2415

Lógica clásica de primer orden. Estrategias de deducción y formalización

Duración del 11 de febrero de 1997 al 10 de febrero de 1999 (24 meses)

Con carácter Público. Se ha otorgado en régimen de Concurrencia competitiva.

Convocatoria:

Responsable