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 192 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, Jorg Flum, Wolfgang Thomas
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 304
• EAN: 9783030738389
• ISBN: 3030738388
• ID: 36551707
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 658 g
• Rozměry: 161 × 243 × 21 mm
• Datum vydání: 29. May 2021

Oblíbené z jiného soudku

---

---

---