Borja Sierra Logic and Theory Group E-Mail borja.sierra@unibe.ch Büro 314 Postadresse Neubrückstrasse 10 3012 Bern