https://123dok.net/document/q05jw66x-die-prädikatenlogik-einführungskurs-logik-universität-bern-frühlingssemester.html