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