Logic of Arithmetic - Walter Felscher - Books - Taylor & Francis Ltd - 9789056992682 - May 30, 2000
In case cover and title do not match, the title is correct

Walter Felscher
Logic of Arithmetic 1st edition

Price
$ 179.49
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 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).

312 pages, 200 line illustrations, indices

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 30, 2000
ISBN13 9789056992682
Publishers Taylor & Francis Ltd
Pages 312
Dimensions 152 × 229 × 25 mm   ·   740 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 )