Michael Rathjen

No bio available. Add one in Open Library.

Books by Michael Rathjen (50 max)

+ shelf+ list

Gentzen's Centenary: The Quest for Consistency

2015

Reinhard Kahle, Michael Rathjen

+ shelf+ list

Legacy of Kurt Schütte

2020

Reinhard Kahle, Michael Rathjen

+ shelf+ list

Handbook of Constructive Mathematics

2023

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

+ shelf+ list

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

2001

Michael Rathjen

+ shelf+ list

Mathematics for Computation (M4C)

2023

Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster