Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der exakten Wissenschaften (DVMLG)