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
Íkr 22,549
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 6 - 20

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 )