Armand Feuilleaubois Logic and Theory Group E-Mail armand.feuilleaubois@unibe.ch Büro 314 Postadresse Neubrückstrasse 10 3012 Bern