Mathematical Logic / Najlacnejšie knihy
Mathematical Logic

Code: 36551707

Mathematical Logic

by Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas

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

70.16 €

RRP: 77.71 €

You save 7.54 €


In stock at our supplier
Shipping in 10 - 13 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Mathematical Logic

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 €

Trending among others



Collection points Bratislava a 13569 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: