Reznikoff, I. On independent recursive axiomatisation in intuitionistic logic. (English) Zbl 0203.00701 Algebra Logika 6, No. 6, 21-27 (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents PDFBibTeX XMLCite \textit{I. Reznikoff}, Algebra Logika 6, No. 6, 21--27 (1967; Zbl 0203.00701) Full Text: EuDML