Facultad: Informática

Área: Lenguajes y Sistemas Informáticos

Doctor por la Universidad Complutense de Madrid con la tesis Un método de aproximaciones finitas en la lógica de primer orden 1978. Dirigida por Dr. Baldomero Rubio Segovia.