000 01106nam a22003130a 4500
001 PT4713
003 AR-LpoUNG
005 20210131231943.0
008 191001s1994||||mx |||||||||||||||||spa d
020 _a9686708014
_c$9,4
040 _aAR-LpoUNG
_bspa
_cAR-LpoUNG
_eaacr
041 _aspa
044 _amx
082 0 _a511.3 59
100 1 _aSuppes, Patrick
245 1 0 _aIntroducción a la lógica matemática
250 _a1º edición - 11º reimp.
260 _aMéxico, D. F. :
_bReverté,
_c1994.
300 _a278 p. :
_bgráfs.
520 _aSimbolización de proposiciones; Inferencia lógica; certeza y validez; tablas de certeza; términos, predicados y cuantificadores universales; especificación universal y leyes de dentidad; un sistema matemático simple: axiomas de la adición; generalización universal.
650 4 _aLOGICA
650 4 _aLOGICA MATEMATICA Y SIMBOLICA
650 4 _aTEORIA DEL CONOCIMIENTO
651 4 _aDOCUMENTOS TEORICOS O METODOLOGICOS
700 1 _aHill, Shirley
700 1 _aLines Escardo, Enrique
_etr.
905 _a4713
942 _cLIB
999 _c12816
_d12816