Logic of Arithmetic / Najlacnejšie knihy
Logic of Arithmetic

Code: 06703392

Logic of Arithmetic

by Walter Felscher

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which ex ... more

149.13


In stock at our supplier
Shipping in 15 - 20 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 Logic of Arithmetic

You get 375 loyalty points

Book synopsis

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic).

Book details

Book category Books in English Mathematics & science Mathematics Mathematical foundations

149.13

Trending among others



Collection points Bratislava a 2642 dalších

Copyright ©2008-24 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: