Michael RathjenBooksHandbook of Constructive MathematicsMathematics for Computation (M4C)Konzepte Für eine Effiziente Organisation der Staatlichen TätigkeitPillars of Enduring StrengthThe Legacy of Kurt SchütteGentzen's CentenaryAuthor data: Open Library