Einführung in die operative Logik und Mathematik Mit 1 Textabb. - Lorenzen, Paul (Die Grundlehren der mathematischen Wissenschaften, 1955)