Undecidability of intuitionistic theories formulated with the apartness relation
Tom 97 / 1977
Fundamenta Mathematicae 97 (1977), 17-36
DOI: 10.4064/fm-97-1-17-36
