https://9dok.net/document/q7w7pdpv-übung-mathematische-logik-abgabe-montag-november-vorlesung-lehrstuhl.html