Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Mathematical Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 84 bodů

Anotace knihy

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 Lindström'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.§

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Mathematical Logic
• Autor: H.-D. Ebbinghaus, J. Flum, W. Thomas
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 216
• EAN: 9780387961705
• ISBN: 0387961704
• ID: 05248067
• Nakladatelství: Springer-Verlag New York Inc.
• Datum vydání: 14. December 2012

---

---

---