TY - BOOK AU - Standley, Gerald B. TI - New methods in symbolic logic SN - 039505429X U1 - 511.3 22 PY - 1971/// CY - New York PB - Houghton Mifflin KW - Mathematics KW - Logic KW - EEE KW - ETE N1 - Includes Index; EEE ER -