https://9dok.net/document/z3d3p96m-einführung-in-die-logik-ws.html