2023-02-172024-07-01https://boris-portal.unibe.ch/handle/20.500.12422/30447Mathematisches Institut (MAI) - LogicOrganisationseinheit SAPMathematisches Institut (MAI) - Logic