TY - BOOK AU - Malitz Jerome TI - Introduction to mathematical logic : Set theory computable functions model theory. U1 - R14, L9 PY - 1979/// CY - New York PB - Springer-Verlag ER -