https://9dok.net/document/y4wrx095-formale-methoden-softwaretechnik-vorlesung-formale-logik-urliches-schließen.html