https://9dok.net/document/q2n7j8d6-ubungen-zur-vorlesung-nichtklassische-logiken-ws.html