Algebraic Treatment of the Functional Calculi of Heyting and Lewis
Tom 38 / 1951
Fundamenta Mathematicae 38 (1951), 99-126
DOI: 10.4064/fm-38-1-99-126
