MANZANO, MARÍA
TEORÍA DE MODELOS - 1A. ed - MADRID ALIANZA 1989 - 289 23.0
ALGEBRA UNIVERSAL
. -- LENGUAJES DE PRIMER ORDEN: SEMÁNTICA
. -- COMPLETUD DE LA LÓGICA DE PRIMER ORDEN
. -- TEORÍA DE MODELOS
. -- EL TEOREMA DE COMPACIDAD Y SUS IMPLICACIONES MATEMÁTICAS
. -- LOS TEOREMAS DE LOWENHEM - SKOLEM Y SUS CONSECUENCIAS
. -- TEORÍAS COMPLETAS Y CATEGÓRICAS
. -- ORDINALES Y CARDINALES
MATEMÁTICAS.-LÓGICA
511.8.MANZ.00
TEORÍA DE MODELOS - 1A. ed - MADRID ALIANZA 1989 - 289 23.0
ALGEBRA UNIVERSAL
. -- LENGUAJES DE PRIMER ORDEN: SEMÁNTICA
. -- COMPLETUD DE LA LÓGICA DE PRIMER ORDEN
. -- TEORÍA DE MODELOS
. -- EL TEOREMA DE COMPACIDAD Y SUS IMPLICACIONES MATEMÁTICAS
. -- LOS TEOREMAS DE LOWENHEM - SKOLEM Y SUS CONSECUENCIAS
. -- TEORÍAS COMPLETAS Y CATEGÓRICAS
. -- ORDINALES Y CARDINALES
MATEMÁTICAS.-LÓGICA
511.8.MANZ.00