TY - BOOK AU - Malitz,Jerome TI - Introduction to mathematical logic: set theory, computable functions, model theory SN - 0387903461 PY - 1979/// CY - New York PB - Springer-Verlag KW - Logic, Symbolic and mathematical N1 - Includes index ER -