TY - BOOK AU - Makinson, D C . TI - Topics in Modern Logic U1 - 160 PY - 1973/// CY - London PB - Methuen and Co. Ltd. KW - Logic KW - T/G-Logic ER -