https://9dok.net/document/q7w7jjrr-einf-uhrung-in-die-logik.html