000 00408nam a2200145Ia 4500
999 _c1768
_d1768
082 _a511.3 EBE-L R
100 _a Rolf A.Eberle
100 _aJames Clavert
245 _aLogic and Proof Tecniques
250 _a1st Edition
260 _c1996
_bNew Central Book Agency (P) Ltd
300 _a339p 1.5cm
650 _aLogic and Proof Tecniques James Clavert and Rolf A.Eberle, LANGUAGE OF QL
942 _cREF