Malitz, Jerome 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents 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 Keywords:Computable Functions; Semantics of First-Order Languages; Axiom Of Choice; Non-Standard Models; Computability; Recursive Functions; Ordinal Numbers; Paradoxes; Model Theory; Definability in Arithmetic; Cardinal Numbers; Transfinite Induction; Recursively Enumerable Sets; Turing Machines; Goedel’s First Incompletness Theorem PDFBibTeX XML