TY - BOOK AU - Mates,Benson TI - Elementary logic PY - 1972/// CY - New York, N.Y. PB - Oxford University Press KW - Mathematics ER -