Facultad: Informática

Área: Linguaxes e Sistemas Informáticos

Doutor pola Universidad Complutense de Madrid coa tese Un método de aproximaciones finitas en la lógica de primer orden 1978. Dirixida por Dr. Baldomero Rubio Segovia.