Resolution, Refutation, Deduction and Theorem Proving