TY - JOUR AU - Heinrich Behmann TI - Ein logischer Habakus. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1958 SP - 42 EP - 52 VL - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1958__4_137742/ ID - AMLG_1958__4_137742 ER -