TY - JOUR AU - Klemens Döpp TI - Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1972 SP - 3 EP - 6 VL - 15 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1972__15_137860/ ID - AMLG_1972__15_137860 ER -