Mathematical Logic
1990
|
198., 2nd printing
Springer Berlin (Hersteller)
9783540908951 (ISBN)
Springer Berlin (Hersteller)
9783540908951 (ISBN)
Lese- und Medienproben
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
A self-contained introduction to first-order logic includes an exposition of topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstrom's theorem on the maximality of first-order logic).
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstrom's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstrom's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.
Syntax of first-order languages; semantics of first-order languages; a sequent calculus; the completeness theorem; the Lowenheim-Skolem theorem and the compactness theorem; the scope of first-order logic; appendix; extension of first-order logic; limitations of the formal method; an algebraic characterization of elementary equivalence; characterizing first-order logic.
| Reihe/Serie | Undergraduate Texts in Mathematics |
|---|---|
| Übersetzer | A. S. Ferebee |
| Zusatzinfo | 1 fig. IX,216 pages. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Gewicht | 485 g |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-13 | 9783540908951 / 9783540908951 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
