Walter Felscher

Gebundenes Buch

Logic of Arithmetic

Beschreibung

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.

Autor

Felscher, Walter

Produktdetails

• Verlag: CRC Press
• Seitenzahl: 312
• Erscheinungstermin: 30. Mai 2000
• Englisch
• Abmessung: 235mm x 157mm x 21mm
• Gewicht: 605g
• ISBN-13: 9789056992682
• ISBN-10: 9056992686
• Artikelnr.: 22315147