Humboldt-Universität zu Berlin
-
Mathematisch-Naturwissenschaftliche Fakultät
-
Logik in der Informatik
VL Angewandte Mathematik für die Informatikhttps://www.informatik.hu-berlin.de/de/forschung/gebiete/loginf/lehre/archiv/SoSe20/mathinfhttps://www.informatik.hu-berlin.de/@@site-logo/og_logo.png