Finite model theory and bounded arithmetic

Responsable: Mario de Jesús Pérez Jiménez
Tipo de Proyecto/Ayuda: Becas Marie Curie
Referencia: ERBFMBICT-971999
Web: http://cordis.europa.eu/projects/rcn/43787_en.html
Fecha de Inicio: 15-02-1998
Fecha de Finalización: 15-05-1998

Empresa/Organismo financiador/es:

Commission of the European Communities (DG XII. Science, Research and Development)

Socios:

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla