Armand Feuilleaubois Logic and Theory Group E-Mail armand.feuilleaubois@unibe.ch Office 314 Postal Address Neubrückstrasse 10 3012 Bern