TY  - BOOK
AU  -  Thomas, James A.,
TI  -  Symbolic logic
SN  -  0675085586
U1  -  511.3  22
PY  - 1977///
CY  -  Columbus, Ohio
PB  -  Merrill
KW  -  Logic, Symbolic and mathematical
N1  -  Includes indexes;  Bibliography: p. 361-362
ER  -