TY  - BOOK
AU  - Thomas James A
TI  - Symbolic logic
U1  - R14, L71 
PY  - 1977///
CY  - Columbus
PB  - Charles E Merrill Publishing    
KW  - PHILOSOPHY
N1  - bib 361-62
ER  -