Una técnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables
- Baldomero Rubio Segovia Zuzendaria
Defentsa unibertsitatea: Universidad Complutense de Madrid
Defentsa urtea: 1978
- Sixto Ríos García Presidentea
- Baldomero Rubio Segovia Idazkaria
- Alberto Dou Mas de Xaxàs Kidea
- Enrique Linés Escardó Kidea
- Jesús Mosterín Kidea
Mota: Tesia
Laburpena
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),