TY - BOOK AU - Cresswell, M.J. AU - Cresswell, M.J. TI - Logics and languages U1 - P0R1 PY - 1973/// CY - London PB - Methuen and Co.Ltd. KW - P0R1 ER -