TY  - GEN
AU  - THOMASON, Richmond H.
TI  - Symbolic logic; an introduction
AV  - BC 135 .T48 
PY  - 1970///
CY  - London
PB  - Macmillan Company
KW  - Logic, Symbolic and mathematical
ER  -