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