TY - BOOK AU - Mates,Benson TI - Elementary logic U1 - 164 PY - 1965/// CY - New York PB - Oxford University Press KW - Logic, Symbolic and mathematical ER -