TY  - BOOK
AU  - IRVING, M.COPI
TI  - SYMBOLIC LOGIC
PY  - 1979///
CY  - NEW YORK
PB  - MACMILLAN
KW  - LOGIC
ER  -