Bonn Mathematical Logic Group

News

Teaching

Winter 2021/22

  • Hauptseminar Mathematische Logik (S2A2) (Prof. Dr. Philipp Hieronymi, Prof. Dr. Peter Koepke)
    Dienstags 10:15-12:00
    Thema: Entscheidbarkeit und automatisches Beweisen
    Vorbesprechung: Mittwoch, 21. Juli, um 14:30 in der Vorlesung, Zoom-Link
  • Graduate Seminar on Logic (S4A4) (Prof. Dr. Philipp Hieronymi)
    Tuesdays 16:15-18:00
    Topic: O-minimality
  • Praktikum Mathematische Logik (P2A1 / P4A1) (Prof. Dr. Peter Koepke)
    Nach Vereinbarung / by appointment

  • A list of lectures in past semesters




    Last changed: July 13, 2021 by pk