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