The sentential calculus with infinitely long expressions
Tom 6 / 1958
Colloquium Mathematicum 6 (1958), 165-170
DOI: 10.4064/cm-6-1-165-170