Sequents in many valued logic II
Volume 67 / 1970
Fundamenta Mathematicae 67 (1970), 125-131
DOI: 10.4064/fm-67-1-125-131