000 00366n 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 & Row
_c1967
300 _axiii, 407p
651 0 _aLogic
997 _aA41691 cop.3 C
999 _c462035
_d462035