TY - BOOK AU - Malitz, J. TI - Introduction to mathematical logic PY - 1979/// CY - new york PB - Springer ER -