University professors are required to have their lecture notes approved.
These lecture notes were later edited by Wilhelm Ackermann and published as Grundzüge der theoretischen Logik.
