000 00962nam a2200289 a 4500
005 20250914014818.0
008 981208s1962 xxu 00 eng
039 9 _a201908260807
_bhaiyati
_y08-18-1999
_zload
040 _aUKM
090 _aBC71.A6
090 _aBC71
_b.A6
100 1 _aAnderson, John Mueller,
_eauthor.
245 1 0 _aNatural deduction
_c: the logical basis of axiom systems by John M. Anderson and Henry W. Johnstone, Jr.
260 _aBelmont, Ca.
_bWadsworth Publishing Co.
_c1962.
300 _a418 pages ;
_billustrations :
_c24 cm.
590 _a1
650 0 _aLogic, Symbolic and mathematical.
650 0 _aMetamathematics.
700 1 _aJohnstone, Henry W.
907 _a.b11558519
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kBC71.A6
914 _avtls000161635
991 _aF S Kemasyarakatan dan Kemanusiaan
998 _at
_b1999-05-08
_cm
_da
_feng
_gxxu
_y0
_z.b11558519
999 _c157506
_d157506