×
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.

Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. (English) Zbl 0795.03001

Undergraduate Texts in Mathematics. New York, NY: Springer-Verlag. x, 289 p. (1994).
See the review of the first English edition (1984; Zbl 0556.03001) and of the German original (1978; Zbl 0399.03001), respectively.

Cited in 3 Reviews
Cited in 91 Documents

MSC:

03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B10 Classical first-order logic
03B99 General logic
03C07 Basic properties of first-order languages and structures

Keywords:

completeness theorem; sequent calculus; compactness theorem; Löwenheim- Skolem theorem; Gödel’s incompleteness theorems; first-order logic and its extensions; syntax; semantics; decidability; free models; Herbrand’s theorem; elementary equivalence; Lindström’s theorems

Citations:

Zbl 0556.03001; Zbl 0399.03001
Cite Review PDF