Fakultatea: Informática

Eremua: Lengoaia eta Sistema Informatikoak

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