TY - BOOK AU - Makinson D C TI - Topics in modern logic U1 - R1'N, L3 PY - 1973/// CY - London PB - Methuen ER -