Logic of Arithmetic - Walter Felscher - Books - Taylor & Francis Ltd - 9780367398576 - September 5, 2019
In case cover and title do not match, the title is correct

Walter Felscher
Logic of Arithmetic 1st edition

Price
$ 101.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

312 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 5, 2019
ISBN13 9780367398576
Publishers Taylor & Francis Ltd
Pages 312
Dimensions 150 × 220 × 10 mm   ·   453 g
Language English  

More by Walter Felscher

Show all

Mere med samme udgiver

See all of Walter Felscher ( e.g. Paperback Book and Hardcover Book )