Borja Sierra Logic and Theory Group E-Mail borja.sierra@unibe.ch Office 314 Postal Address Neubrückstrasse 10 3012 Bern