Geodesic
On the Gentzen theorem
Fundamenta Mathematicae, Tome 48 (1959) no. 1, pp. 59-69.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI : 10.4064/fm-48-1-59-69

H. Rasiowa 1 ; Roman Sikorski 1

1 
@article{10_4064_fm_48_1_59_69,
     author = {H. Rasiowa and Roman Sikorski},
     title = {On the {Gentzen} theorem},
     journal = {Fundamenta Mathematicae},
     pages = {59--69},
     publisher = {mathdoc},
     volume = {48},
     number = {1},
     year = {1959},
     doi = {10.4064/fm-48-1-59-69},
     language = {de},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-48-1-59-69/}
}
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  - 
%0 Journal Article
%A H. Rasiowa
%A Roman Sikorski
%T On the Gentzen theorem
%J Fundamenta Mathematicae
%D 1959
%P 59-69
%V 48
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-48-1-59-69/
%R 10.4064/fm-48-1-59-69
%G de
%F 10_4064_fm_48_1_59_69
H. Rasiowa; Roman Sikorski. On the Gentzen theorem. Fundamenta Mathematicae, Tome 48 (1959) no. 1, pp. 59-69. doi : 10.4064/fm-48-1-59-69. http://geodesic.mathdoc.fr/articles/10.4064/fm-48-1-59-69/

Cité par Sources :