On the Gentzen theorem

Instytut Matematyczny Polskiej Akademii Nauk / Institute of Mathematics / Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

H. Rasiowa, Roman Sikorski Fundamenta Mathematicae 48 (1959), 59-69 DOI: 10.4064/fm-48-1-59-69