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