000			00619nam a2200193Ia 4500
999			_c28247 _d28247
003			OSt
005			20181023043908.0
008			24419b pe ||||| |||| 00| 0 spa d
040			_cCentro de Información y Bibliotecas
082			_a511.3.SUPP.00
100			_aSUPPES, PATRIK
100			_eAutor
245		0	_aINTRODUCCIÓN A LA LÓGICA MATEMÁTICA.
250			_a1A. ed
260			_aBARCELONA
260			_b
260			_c1982
300			_a278
300			_c21.5
505			_aSIMBOLIZACIÓN DE PROPOSICIONES . -- INFERENCIA LÓGICA . -- CERTEZA Y VALIDEZ . -- TABLAS DE CERTEZA . -- TÉRMINOS, PREDICADOS Y CUANTIFICADORES UNIVERSALES . -- ESPECIFICACIONES UNIVERSALES Y LEYES DE IDENTIDAD . -- UN SISTEMA MATEMÁTICO SIMPLE.
650			_aMATEMÁTICAS.-LÓGICA
700			_aHILL, SHIRLEY
942			_cTM001 _2ddc