TY - BOOK AU - Elliott Mendelson TI - Introduction to Mathematical Logic PY - 1964/// CY - Toronto PB - D Van Nostrand Co. ER -