TY  - BOOK
AU  - Bittinger Marvin L
TI  - Logic and proof
U1  - R14, L02 
PY  - 1970///
KW  - PHILOSOPHY
ER  -