Mathematical Logic

2,3 1
Według internetowych rankingów, cena tego produkut waha się w okolicach 305 zł. Jak Ty oceniasz ?
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 aby 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.
  • ISBN - 9783030738389
  • Oprawa - twarda
  • Ilość stron - 304

Najlepsza cena - najtańsza oferta

Libristo.pl Libristo.pl
Libristo.pl
Mathematical Logic 303.6 DO SKLEPU
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 aby 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.
  • ISBN - 9783030738389
  • Oprawa - twarda
  • Ilość stron - 304
  • Rok wydania - 2021