TY - BOOK AU - Mendelson Elliott TI - Introduction to mathematical logic U1 - R14, Q0 PY - 2010/// CY - Boca Raton PB - CRC Press KW - Mathematics ER -