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