000			00619nam a2200193Ia 4500
999			_c34397 _d34397
003			OSt
005			20181023043908.0
008			24419b pe ||||| |||| 00| 0 spa d
040			_cCentro de Información y Bibliotecas
082			_a511.8.MANZ.00
100			_aMANZANO, MARÍA
100			_eAutor
245		0	_aTEORÍA DE MODELOS
250			_a1A. ed
260			_aMADRID
260			_bALIANZA
260			_c1989
300			_a289
300			_c23.0
505			_aALGEBRA 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
650			_aMATEMÁTICAS.-LÓGICA
700			_aMANZANO, MARÍA
942			_cTM001 _2ddc