Monk, J. Donald Mathematical logic. (English) Zbl 0354.02002 Graduate Texts in Mathematics. 37. New York - Heidelberg - Berlin: Springer-Verlag. X, 531 p. DM 48.40; $ 19.80 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 110 Documents MSC: 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations 03Dxx Computability and recursion theory 03B25 Decidability of theories and sets of sentences 11U05 Decidability (number-theoretic aspects) 08-XX General algebraic systems 06-XX Order, lattices, ordered algebraic structures 26E35 Nonstandard analysis × Cite Format Result Cite Review PDF