Logic of Arithmetic by Walter Felscher (English) Paperback Book
109,20 €
By Walter Felscher. Felscher, Walter. 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:
