TY  - BOOK
AU  - EBERLE , ROLF A.
TI  - LOGIC AND PROOF TECHNIQUES
U1  - 511.3 EBE 
PY  - 1996///
CY  - GUWAHATI
PB  - NEW CENTRAL BOOK AGENCY
KW  - Mathematics
ER  -