Zobacz książki o podobnej tematyce

Więcej informacji o Mathematical Logic

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 140 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics Mathematical foundations

• Pełny tytuł: Mathematical Logic
• Autor: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 304
• EAN: 9783030738419
• ID: 39203108
• Wydawca: Springer Nature Switzerland AG
• Waga: 486 g
• Wymiary: 235 × 155 × 18 mm
• Data wydania: 30. May 2022

Ulubione w innej kategorii

---

---

---