Logic of Arithmetic
Felscher, Walter
ISBN 10: 9056992686 ISBN 13: 9789056992682
Published by CRC Press, 2000
New
Hardcover
From
Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 24 June 2016
This specific item is no longer available.
About this Item
Description:
New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-534845
Synopsis:
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.
About the Author: Felscher, Walter
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Logic of Arithmetic
Publisher: CRC Press
Publication Date: 2000
Binding: Hardcover
Condition: Brand New