|
|
|
Logic of Arithmetic
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Inhalt: |
| For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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. |
|
i.d.R. innert 14-24 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
