Rasiowa, H.; Sikorski, R. On the Gentzen theorem. (English) Zbl 0099.00603 Fundam. Math. 48, 57-69 (1960). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 9 Documents Keywords:philosophy and foundations of mathematics PDFBibTeX XMLCite \textit{H. Rasiowa} and \textit{R. Sikorski}, Fundam. Math. 48, 57--69 (1960; Zbl 0099.00603) Full Text: EuDML