Einführung in die operative Logik und Mathematik - Lorenzen, Paul (Die Grundlehren der Mathematischen Wissenschaften / Springer Verlag, 1955)