TY - JOUR AU - G. Gentzen TI - Untersuchungen über das logische Schließen II JO - Mathematische Zeitschrift PY - 1935 SP - 405 EP - 431 VL - 39 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZ_1935__39_168556/ ID - MZ_1935__39_168556 ER -