Wyprzedane, ale poszukiwane!
Więcej o książce
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.
Zakup książki
Graduate Texts in Mathematics - 291: Mathematical Logic - Third Edition, Heinz Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
- Język
- Rok wydania
- 2021
- Oprawa
- (twarda)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Graduate Texts in Mathematics - 291: Mathematical Logic - Third Edition
- Język
- angielski
- Wydawca
- Springer
- Rok wydania
- 2021
- Oprawa
- twarda
- Liczba stron
- 304
- ISBN10
- 3030738388
- ISBN13
- 9783030738389
- Seria
- Kategorie
- 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.