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).


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