TY  - BOOK
AU  - Carney, James D.
TI  - Introduction to symbolic logic
U1  - 511.3 
PY  - 1970///
CY  - Englewoodcliffs
PB  - Prentice Hall
KW  - Mathematics
ER  -