Logik der Arithmetik von Felscher, Walter [Taschenbuch]
76,71 €
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 - The Logic of Science in Sociology by Walter Wallace [Paperback]](https://i.ebayimg.com/thumbs/images/g/vcwAAOSwL7pnd0UA/s-l140.jpg)
