TY - BOOK AU - Thomason,Richmond H. TI - Symbolic logic: an introduction AV - BC135 .T48 U1 - 164 PY - 1969///, c1970] CY - [New York] PB - Macmillan KW - Logic, Symbolic and mathematical KW - Local N1 - 920305 ER -