Malitz, J Introduction to mathematical logic: Set theory computable functions model theory - New York Springer-Verlag 1979 - Undergraduate texts in mathematics, F W Gehring p. ISBN: DM34 Dewey Class. No.: 511.3 M295I