Michael Rathjen profile picture

Michael Rathjen

The Legacy of Kurt Schütte
Mathematics For Computation (M4c)
Mathematics for Computation (M4C)
Gentzen's Centenary The Quest for Consistency
Handbook of Constructive Mathematics
Konzepte für eine effiziente Organisation der staatlichen Tätigkeit Mit Beispielen des Landes Bremen