Paul Lorenzen -- Mathematician and Logician - Heinzmann, Gerhard; Wolters, Gereon (Springer International Publishing, 2021)