Fachgebiet Logik u. Grundlagen d. Mathematik