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 |