Logic of Arithmetic, Hardback Book

Logic of Arithmetic Hardback

Hardback

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 18%

£105.00

£85.42

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

Information