TY  - BOOK
AU  - Carroll Lewis
TI  - Symbolic logic
U1  - R14, J81 
PY  - 1958///
CY  - N.Y
PB  - Dover       
KW  - PHILOSOPHY
ER  -