Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften