Normal Gentzen Deductions in the Classical Case Alessandra Palmigiano In this thesis I define the notion of normality for deductions in a Gentzen system for the classical case; I prove the normalization theorem for this notion, and I build two direct correspondences G_n \to N*, N* \to G_n between normal Gentzen deductions and natural deductions in *-normal form, i.e. natural deductions in normal form that also satisfy other conditions.