The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication