000 00720nam a2200217zi 4500
005 20220228104742.0
008 040830n1962ng0 09
035 _aMX001000515923
050 _aBC71
_bA53
100 0 _aAnderson, John Mueller,
_eautor
245 1 0 _aNatural deduction :
_bthe logical basis of axiom systems /
_cJohn M. Anderson and Henry W. Johnstone, Jr.
264 1 _aBelmont, california :
_bWadsworth,
_cc1962
300 _a418 páginas
650 _aMatemáticas
650 _aLógica simbólica y matemática
700 _aJohnstone, Henry W.,
_eautor
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c17069
_d17069