Title: Paul Lorenzen---Mathematician and Logician