TY - BOOK AU - Thompson, Richmond H. TI - SYMBOLIC LOGIC U1 - 511.3 PY - 1970/// CY - New York PB - Macmillan KW - Logic, Symbolic And Mathematical ER -