Logic of Arithmetic
Walter Felscher
ISBN 10: 0367398575 ISBN 13: 9780367398576
Published by CRC Press, 2019
New
Taschenbuch
From
AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 14 August 2006
This specific item is no longer available.
About this Item
Description:
nach der Bestellung gedruckt Neuware - Printed after ordering - For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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. Seller Inventory # 9780367398576
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: 2019
Binding: Taschenbuch
Condition: Neu