TY  - JOUR
AU  - Dov Gabbay
TI  - Undecidability of intuitionistic theories formulated with the apartness relation
JO  - Fundamenta Mathematicae
PY  - 1977
SP  - 17
EP  - 36
VL  - 97
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-97-1-17-36/
DO  - 10.4064/fm-97-1-17-36
LA  - en
ID  - 10_4064_fm_97_1_17_36
ER  -