Faculté: Informática

Domaine: Lenguajes y Sistemas Informáticos

Docteur à l Universidad Complutense de Madrid avec la thèse Un método de aproximaciones finitas en la lógica de primer orden 1978. Dirigée par Dr. Baldomero Rubio Segovia.