Hortalá González, María TeresaGil Luezas, Ana2023-06-192023-06-1920155304845233https://hdl.handle.net/20.500.14352/40001Tesis de la Universidad Complutense de Madrid,Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Teresa Hortalá González.spadoctoral thesisopen access510.223(043.2)Análisis matemático no standard.Programación lógica.Matemáticas (Matemáticas)12 Matemáticas