https://9dok.net/document/qvlm870l-vorlesung-logik-in-der-informatik.html