Weak decidability of some modal extention of trigonometry
Tom 81 / 1974
Fundamenta Mathematicae 81 (1974), 255-260
DOI: 10.4064/fm-81-3-255-260
