An application of lattices to logic
Tom 42 / 1955
Fundamenta Mathematicae 42 (1955), 83-100
DOI: 10.4064/fm-42-1-83-100