TY - BOOK AU - Mates, Benson TI - Elementary logic U1 - 162 PY - 1972/// CY - London PB - Oxford University Press ER -