• Título:  UNA TECNICA PARA EL ESTUDIO DE RELACIONES ENTRE ESTRUCTURAS PARA LENGUAJES CON VARIAS CLASES DE VARIABLES.
• Autor:  HORTALA GONZALEZ M. TERESA
• Universidad:  Universidad Complutense de Madrid
• Fecha de Lectura:  01/01/1978
• Programa de doctorado:  DESCONOCIDO
• Dirección: 
  • RUBIO SEGOVIA, BALDOMERO (DIRECTOR)
• Tribunal: 
  • RIOS, SIXTO (PRESIDENTE)
  • RUBIO SEGOVIA, BALDOMERO (SECRETARIO)
  • DOU, ALBERTO (VOCAL)
  • MOSTERIN, JESÚS (VOCAL)
  • LINES, ENRIQUE (VOCAL)
• Descriptores: 
  • LOGICA
  • TEORIA DE LENGUAJES FORMALES
  • LOGICA DEDUCTIVA
• Resumen:
  OBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL LENGUAJE CON N-CLASES DE VARIABLES TODOS LOS RESULTADOS CONOCIDAS DEL LENGUAJE DE PRIMER ORDEN USUAL (1-CLASE DE VARIABLES).