TY - BOOK AU - Mates, Benson. TI - Elementary logic U1 - 511.3 PY - 1965/// CY - Berkeley PB - Oxford Univ. Press ER -