Code: 36551707
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 ... more
English
70.16 €
RRP: 77.71 €
You save 7.54 €

You get 171 loyalty points
Book synopsis
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.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
70.16 €
English
Collection points Bratislava a 13569 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27142 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )