9 citations · 19 across the 7 of their papers we have counts for
1 paper · 2 filters
Manfred Kerber
In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by pr…