TY  - BOOK
AU  - Eberle,Rolf A  .
TI  - Logic and proof techniques / 
SN  - 8173812322
U1  - 160 
PY  - 1996///
CY  - Kolkata : 
PB  - New Central Book Agency , 
KW  - LOGIC
N1  - Includes bibliography and index
ER  -