TY  - BOOK
AU  -  Rolf A.Eberle
AU  - James Clavert
TI  - Logic and Proof Tecniques
U1  - 511.3  EBE-L  R 
PY  - 1996///
PB  - New Central Book Agency (P) Ltd
KW  - Logic and Proof Tecniques  James Clavert and Rolf A.Eberle, LANGUAGE OF QL
ER  -