TY  - BOOK
AU  - BITTINGER, MARVIN L.
TI  - LOGIC AND PROFF
U1  - 511.3 
PY  - 1970///
CY  - Estados Unidos
PB  - ADDISON - WESLEY
ER  -