Einfuhrung in die operative Logick und Mathematik - Lorenzen Paul; Auflage Zweite (Berlin Springer-Verlag, 1969)