Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

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