Michael Baur Logic and Theory Group E-Mail michael.baur@unibe.ch Office 314 Postal Address Neubrückstrasse 10 3012 Bern