Einführung in die operative Logik und Mathematik.
Paul Lorenzen.
Berlin : Springer, 1955.
298 págs. ; 25 cm.
Serie: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. ; 78