Malitz, Jerome Introduction to mathematical logic : set theory, computable functions, model theory - New York : Springer-Verlag, 1979 - xii,198p. : ill. ; 25cm. Includes bibliographical references Subjects--Topical Terms: Logic, symbolic and mathematical LC Class. No.: MATH QA9.M265