Workgroup of
Prof. Philipp Hieronymi
Menu
home
members
research
teaching
events
information for prospective students
links
News
The
Hausdorff School: “Formal Mathematics and Computer-Assisted Proving”
takes place in Bonn September 18 - 22, 2023.
The schedule for the
Oberseminar Logik
during the Sommersemester 2023 is available.
Subscribe to the
mailing list
for logic activities in Bonn.
Research Areas
Last changed: February 24, 2022