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