%0 Journal Article
%A Dov Gabbay
%T Undecidability of intuitionistic theories formulated with the apartness relation
%J Fundamenta Mathematicae
%D 1977
%P 17-36
%V 97
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-97-1-17-36/
%R 10.4064/fm-97-1-17-36
%G en
%F 10_4064_fm_97_1_17_36