×

Introduction to mathematical logic. Set theory, computable functions, model theory. (English) Zbl 0407.03001

Undergraduate Texts in Mathematics. New York, Heidelberg, Berlin: Springer-Verlag XII, 198 p. DM 28.00; $ 15.40 (1979).

MSC:

03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03E99 Set theory
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D10 Turing machines and related notions
03C99 Model theory
03D99 Computability and recursion theory