Mohlo by se vám také líbit

Více informací o knize Mathematical Logic

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

Nákupem získáte 116 bodů

Anotace knihy

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Parametry knihy

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

• Plný název: Mathematical Logic
• Autor: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 304
• EAN: 9783030738419
• ID: 39203108
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 486 g
• Rozměry: 235 × 155 × 18 mm
• Datum vydání: 30. May 2022

Oblíbené z jiného soudku

---

---

---