%0 Journal Article %A Horst Luckhardt %T Kodifikation und Aussagenlogik. %J Archiv für mathematische Logik und Grundlagenforschung %D 1969 %P 18-38 %V 12 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137814/ %F AMLG_1969__12_137814