Einfuhrung in Die Operative Logik Und Mathematik by Paul Lorenzen