Tekstiviesti: Paul Lorenzen -- Mathematician and Logician