Logic of Arithmetic

1st Edition

Walter Felscher

CRC Press
Published May 30, 2000
Reference - 312 Pages
ISBN 9789056992682 - CAT# TF2971

For Instructors Request Inspection Copy

was $135.00

USD$108.00

SAVE ~$27.00

Add to Wish List
FREE Standard Shipping!

Summary

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.

Instructors

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