Tell your friends about this item:
Logic of Arithmetic Walter Felscher 1st edition
Logic of Arithmetic
Walter Felscher
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 allMere med samme udgiver
See all of Walter Felscher ( e.g. Paperback Book and Hardcover Book )