Michael Rathjen

• Handbook of Constructive Mathematics
• Gentzen's Centenary
• Gentzen's Centenary
• Konzepte Für eine Effiziente Organisation der Staatlichen Tätigkeit
• Mathematics for Computation (M4C)
• Pillars of Enduring Strength
• The Legacy of Kurt Schütte