Einführung in die operative Logik und Mathematik - Lorenzen, Paul, 1915-1994 (Springer-Verlag, 1969)