Logic of Arithmetic

ISBN: 9780367398576 出版年：2000 页码：311 Felscher, Walter CRC Press

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 alg