Address Universität Münster Institut für Mathematische Logik und Grundlagenforschung Einsteinstraße 62 48149 Münster
