Logic of Arithmetic by Walter Felscher (English) Paperback Book
106,30 €
By Walter Felscher. Author Walter Felscher. Undefinability and Incompleteness, General Theory 5. Recursive Relations and Recursive Functions 7. Unprovability of Consistency. For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas.
Jetzt bei Ebay:
