Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. P. Lorenzen (1972) Archiv für mathematische Logik und Grundlagenforschung