https://9dok.net/document/qvl7nl8g-übung-mathematische-logik-abgabe-donnerstag-dezember-uhr-lehrstuhl.html