Proof Theory Constructive Mathematics