TY  - GEN
AU  - Copi, Irving M
TI  - Symbolic logic
U1  - 511.3 
PY  - 1973///
CY  - New York
PB  - Macmillan
KW  - DEDUCTIVE SYSTEMS
KW  - LOGIC
KW  - MATHEMATICS
ER  -