Title: Akademische Gedenkfeier für Paul Lorenzen
Subjects: Constructive mathematics, Symbolic and mathematical Logic
People: Paul Lorenzen