Logic of Arithmetic
Walter Felscher
Taylor & Francis Ltd, 2000
220,75 €On orderDelivery: 2-3 weeks
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).
- ISBN-13
- 9789056992682
- ISBN-10
- 9056992686
- Publisher
- Taylor & Francis Ltd
- Year
- 2000
- Publication date
- 2000-05-30
- Pages
- 312
- Dimensions
- 229x152x
- Weight
- 740