000 00919nam a2200289Ia 4500
999 _c164236
_d164236
001 219242
003 BIBL
005 20191024125853.0
008 981215t1998 pr 001 0 spa d
020 _a1881713709
040 _aPR-PUCPR
_bspa
_erda
041 _aspa
100 2 _aMartínez Cruzado, Rosa F.
_9131894
245 1 0 _aFundamentos de lógica simbólica /
_bEl cálculo de deducción Natural,
_cRosa Fernanda Martínez Cruzado.
250 _aEd. 1998.
260 _aRío Piedras P.R. :
_bPublicaciones Puertorriqueñas
_cc1998.
300 _axii, 276 p. :
_bill. ;
_c28 cm.
336 _btxt
337 _2rdamedia
_bn
338 _2rdacarrier
_bnc
504 _aBibliography : p. [275]-276.
050 0 0 _aBC135
_b.M37
090 _aBC135 .M37 1998
650 0 _aLogic
_2Local
_9127225
650 0 _aLogic, Symbolic and mathematical
_2Local
_9127231
942 _c6
_hBC135
_m.M37
_2lcc