000			00619nam a2200193Ia 4500
999			_c39004 _d39004
003			OSt
005			20181023043908.0
008			24418b pe ||||| |||| 00| 0 spa d
040			_cCentro de Información y Bibliotecas
082			_a160..JEFF.00
100			_aJEFFREY, RICHARD C.
100			_eAutor
245		0	_aLÓGICA FORMAL: SU ALCANCE Y SUS LIMITES
250			_a1A. ed
260			_aPAMPLONA
260			_b
260			_c1999
300			_a279
300			_c21.5
505			_aPROPOSICIONES COMPUESTAS . -- INTRODUCCIÓN . -- EQUIVALENCIA LÓGICA . -- FUNCIONES DE VERDAD . -- ARBOLES DE VERDAD . -- ADECUACIÓN DEL MÉTODO. ARBOLES Y DEMOSTRACIONES . -- CUANTIFICACIÓN . -- REGLAS DE INFERENCIA DE LOS CUANTIFICADORES . -- CUANTIFICACIÓN MÚLTIPLE. TRADUCCIÓN . -- ADECUACIÓN DEL MÉTODO DE LOS ARBOLES . -- IDENTIDAD. FUNCIONES . -- INDECIBILIDAD. INCOMPLETITUD
650			_aLÓGICA FORMAL.-SILOGÍSTICA
700			_aJEFFREY, RICHARD C.
942			_cTM001 _2ddc