TY - BOOK AU - Mendelson Elliot TI - Introduction to mathematical logic university series PY - 1964/// ER -