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