TY  - JOUR
AU  - H. Rasiowa
AU  - Roman Sikorski
TI  - On the Gentzen theorem
JO  - Fundamenta Mathematicae
PY  - 1959
SP  - 59
EP  - 69
VL  - 48
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-48-1-59-69/
DO  - 10.4064/fm-48-1-59-69
LA  - de
ID  - 10_4064_fm_48_1_59_69
ER  -