Logic of Arithmetic, Paperback / softback Book

Logic of Arithmetic Paperback / softback

Paperback / softback

Out of StockMore expected soonContact us for further information
  • Information

Description

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas.

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).

It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

Information

Other Formats

Save 15%

£59.99

£50.85

Out of StockMore expected soonContact us for further information
Add to Basket
Sign in to add to wishlist

Information