TY - BOOK AU - Mates, Benson TI - Elementary logic U1 - 160 PY - 1965/// CY - New York PB - Oxford University Press KW - Logic N1 - HB ER -