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