On the Intuitionistic Theory of Deduction