https://9dok.net/document/z3d3pv7d-ubungen-vorlesung-nichtklassische-logiken-schroeder-heister-blatt-aufgabe.html