TY  - GEN
AU  - Bittinger, Marvin L
TI  - Logic and proof
SN  - 0201005972
U1  - 511.3 BIT 
CY  - London, Addison -Wesley Publishing Co inc
KW  - Logic/ proof/ mathematics
ER  -