TY - BOOK AU - Mendelson,Elliott TI - Introduction to mathematical logic T2 - The University series in undergraduate mathematics U1 - 511/.3 PY - 1964///] CY - Princeton, N.J. PB - Van Nostrand KW - Logic, Symbolic and mathematical ER -