Documents Savoirs On the constructive content of proofs [Elektronische Ressource] / vorgelegt von Monika Seisenberger Seisenberger, Monika