TY - JOUR AU - W. ACKERMANN TI - Zum Eliminationsproblem der mathematischen Logik JO - Mathematische Annalen PY - 1935 SP - 61 EP - 63 VL - 111 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1935__111_159757/ ID - MAN_1935__111_159757 ER -