Logic of Arithmetic (Lectures on Mathematical Logic #3) (Hardcover)

Logic of Arithmetic (Lectures on Mathematical Logic #3) By Walter Felscher Cover Image

Logic of Arithmetic (Lectures on Mathematical Logic #3) (Hardcover)

$154.00


Ships quickly (1-7 days)
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.

Product Details ISBN: 9789056992682
ISBN-10: 9056992686
Publisher: CRC Press
Publication Date: May 30th, 2000
Pages: 312
Language: English
Series: Lectures on Mathematical Logic