Einfuhrung in die operative Logik und Mathematik - Lorenzen, Paul (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; ;, 1955)