Malitz Jerome Introduction to mathematical logic Set theory computable functions model theory. - New York Springer-Verlag 1979 - xi,198p. cm. Standard No.: 44427 Source: Textual Dewey Class. No.: R14, L9