Logic of Arithmetic
Book Details
Format
Hardback or Cased Book
ISBN-10
9056992686
ISBN-13
9789056992682
Publisher
Taylor & Francis Ltd
Imprint
Taylor & Francis Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 30th, 2000
Print length
312 Pages
Weight
740 grams
Product Classification:
Mathematical logicSet theory
Ksh 22,500.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 formulae. 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).
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.
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.
