https://9dok.net/document/y4wrmm5k-klausur-zur-vorlesung-logik-f-ur-informatiker.html