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