Paul Lorenzen -- Mathematician and Logician - Heinzmann (Springer International Publishing, 2021)