PROOF THEORY AND CONSTRUCTIVE MATHEMATICS