Mohlo by sa vám tiež páčiť

Viac informácií o knihe Mathematical Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 174 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Mathematical Logic
• Autor: Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 304
• EAN: 9783030738389
• ISBN: 3030738388
• ID: 36551707
• Nakladateľ: Springer Nature Switzerland AG
• Hmotnosť: 658 g
• Rozmery: 161 × 243 × 21 mm
• Dátum vydania: 29. May 2021

Obľúbené z iného súdka

---

---

---