Logik der Arithmetik, Taschenbuch von Felscher, Walter, brandneu, kostenloser Versand...
98,96 €
Logic of Arithmetic, Paperback by Felscher, Walter, ISBN 0367398575, ISBN-13 9780367398576, Brand New, Free shipping in the US 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.
Jetzt bei Ebay:
![Produktbild - Logic of Arithmetic by Felscher, Walter [Paperback, 312 pages]](https://i.ebayimg.com/thumbs/images/g/ZC8AAOSwq3dnNI27/s-l140.jpg)
