Michael Bärtschi Logic and Theory Group Telefon +41 31 511 7616 E-Mail michael.baertschi@inf.unibe.ch Büro 307 Postadresse Neubrückstrasse 10 3012 Bern