TY  - BOOK
AU  - "Bittinger, Marvin L"
TI  - Logic and Proof
CY  - Addison Wesley
N1  - includes index and biblioraphy
ER  -