Lorenzen, Paul: Einführung in die operative Logik und Mathematik. Springer, Berlin 1955, ²1969 (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band 78)