TY  - BOOK
TI  - Symbolic logic
U1  - R14, L9 
PY  - 1979///
CY  - New York  
PB  -  Macmillan      
ER  -