Paul Lorenzen---Mathematician and Logician | lit.salon