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,800.00
Currently unavailable
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.
Get Logic of Arithmetic by Walter Felscher 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 312 pages.
Customers Who Bought This Also Bought
Elements of 8-Category Theory
KSh 13,300.00
Fuzzy Set Theory—and Its Applications
KSh 47,350.00
Lectures in Logic and Set Theory
KSh 9,550.00
Complex Dynamical Systems
KSh 19,250.00
Distributed Networks
KSh 16,400.00
Suguru Puzzle Book
KSh 0.00
The Baseball Mysteries
KSh 5,450.00
Information Security and Optimization
KSh 22,500.00
Problem Solving In Operation Management
KSh 14,400.00
Belief Change
KSh 32,400.00
Neutrosophic Computing and Vague Data Analysis
KSh 22,500.00
Introduction to Modern Cryptography, Revised Third Edition
KSh 9,350.00
