Michael Rathjen

Handbook of Constructive Mathe

Handbook of Constructive Mathematics

2023

Mathematics for Computation (M

Mathematics for Computation (M4C)

2023

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

2021

Gentzen's Centenary

Gentzen's Centenary

2015

Konzepte Für eine Effiziente Organisation der Staatlichen Tätigkeit

2001