Logic of Arithmetic

1st Edition

Walter Felscher

CRC Press
Published September 5, 2019
Reference - 312 Pages
ISBN 9780367398576 - CAT# K449366

For Instructors Request Inspection Copy


Add to Wish List
FREE Standard Shipping!


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.


We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title