TY - BOOK AU - Makinson, Dc TI - Topics in modern logic PY - 1973/// CY - London PB - Methuen&Co ER -