TY  - BOOK
AU  - Eberle,Rolf A.
TI  - Logic and proof techniques
SN  - 8173812322
PY  - 1996///
CY  - Calcutta
PB  - New Central Book Agency
KW  - Logic
KW  - proof techniques
KW  - sears
N1  - Includes bibliographical references and index
ER  -