TY - BOOK AU - Kretzmann,Norman TI - Elements of formal logic PY - 1965/// CY - New York PB - The Bobbs-Merrill ER -