TY - BOOK AU - Makinson, D.C. TI - Topics in modern logic U1 - 160 PY - 1973/// CY - London PB - Methuen ER -