Logic of Arithmetic
Book Details
Format
Paperback / Softback
ISBN-10
0367398575
ISBN-13
9780367398576
Publisher
Taylor & Francis Ltd
Imprint
CRC Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 5th, 2019
Print length
312 Pages
Weight
453 grams
Product Classification:
Mathematical logicSet theory
Ksh 12,250.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get Logic of Arithmetic by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Taylor & Francis Ltd and it has pages.
