Faculty: Informática

Area: Computer Languages and Systems

Doctor by the Universidad Complutense de Madrid with the thesis Un método de aproximaciones finitas en la lógica de primer orden 1978. Supervised by Dr. Baldomero Rubio Segovia.