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
Affiliations des auteurs :
H. Rasiowa 1 ; Roman Sikorski 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/}
}
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
Cité par Sources :