Kants philosophische Begründung des mathematischen Konstruktivismus und seine Wirkung in der Grundlagenforschung. Mit e. Anh.: Zur mathematischen Präzisierung d. konstruktiven Prädikativismus. - Mainzer, Klaus (1973)