Lukas Zenger Logic and Theory Group E-Mail lukas.zenger@unibe.ch Office 308 Postal Address Neubrückstrasse 10 3012 Bern
