SoCP, Vorlesung I, Herbst 1953

https://bluecher.hypotheses.org/73