%0 Journal Article %A P. Lorenzen %T Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. %J Archiv für mathematische Logik und Grundlagenforschung %D 1972 %P 103-117 %V 15 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1972__15_137873/ %F AMLG_1972__15_137873