Geodesic
Undecidability of intuitionistic theories formulated with the apartness relation
Fundamenta Mathematicae, Tome 97 (1977) no. 1, pp. 17-36

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences 

Dov Gabbay. Undecidability of intuitionistic theories formulated with the apartness relation. Fundamenta Mathematicae, Tome 97 (1977) no. 1, pp. 17-36. doi: 10.4064/fm-97-1-17-36
@article{10_4064_fm_97_1_17_36,
     author = {Dov Gabbay},
     title = {Undecidability of intuitionistic theories formulated with the apartness relation},
     journal = {Fundamenta Mathematicae},
     pages = {17--36},
     year = {1977},
     volume = {97},
     number = {1},
     doi = {10.4064/fm-97-1-17-36},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-97-1-17-36/}
}
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
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  - 
%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
%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

Cité par Sources :