TY  - BOOK
AU  - Bittinger, Mervin L.
AU  - ill.
TI  - Logic and proof
SN  - 0201005972
AV  - BC135.B6 
CY  - Masschusetts
KW  - Logic
ER  -