Text this: Paul Lorenzen -- Mathematician and Logician