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