Programs -- Tableau, Sequent, Natural Deduction Calculi and Proof Theory -- Canonical