Logic of Arithmetic

For propositional logic it can be decided whether a formula has a deduction from a finite set of oth...