sur 14
Paul Lorenzen -- Mathematician and Logician — Gerhard Heinzmann, Gereon Wolters