TY - BOOK AU - Mendelson Elliott TI - Introduction to mathematical logic T2 - University series in undergraduate mathematics U1 - R14, K4 PY - 1964/// CY - New York PB - D Van Nostrand ER -