000 00368n a2200133ua 4500
040 _aP K Kelkar Library, IIT Kanpur
082 _a160
_bN316d
100 _aNeidorf, Robert
245 0 _aDeductive forms
_ban elementary logic
_cRobert Neidorf
260 _aNew York
_bHarper And Row
_c1967
300 _axiii, 407p
650 _aLogic
997 _aA30871 cop.2 C
999 _c461428
_d461428