https://9dok.net/document/q2n7lmkp-ubung-mathematische-logik-abgabe-donnerstag-uhr-lehrstuhl-vorlesung.html