TY - BOOK AU - Mendelson,Elliott TI - Introduction to mathematical logic T2 - The university series in undergraduate mathematics AV - QA9 M4 PY - 1965///c1964 CY - Princeton PB - N. j., d. van nostrand KW - Lógica simbólica y matemática ER -