Malitz, Jerome

Introduction to mathematical logic ; set theory, computable functions, model theory / - New York: Springer-Verlag, 1979 - x, 198 p. Index - Undergraduate texts in Mathematics .

511.3 / M251.IM