TY - BOOK AU - Bittinger, Marvin L. TI - LOGIC AND PROOF U1 - 164 PY - 1970/// CY - PB - Addison-Wesley Publishing Company ER -