Geodesic
Some undecidable theories with monadic predicates and without equality.
Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 137-148

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Zbl
Mots-clés : decision problems for restricted first order theories, groupoid 
Hans Kleine Büning. Some undecidable theories with monadic predicates and without equality.. Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 137-148. http://geodesic.mathdoc.fr/item/AMLG_1981__21_137982/
@article{AMLG_1981__21_137982,
     author = {Hans Kleine B\"uning},
     title = {Some undecidable theories with monadic predicates and without equality.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {137--148},
     year = {1981},
     volume = {21},
     zbl = {0475.03022},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137982/}
}
TY  - JOUR
AU  - Hans Kleine Büning
TI  - Some undecidable theories with monadic predicates and without equality.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1981
SP  - 137
EP  - 148
VL  - 21
UR  - http://geodesic.mathdoc.fr/item/AMLG_1981__21_137982/
ID  - AMLG_1981__21_137982
ER  - 
%0 Journal Article
%A Hans Kleine Büning
%T Some undecidable theories with monadic predicates and without equality.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1981
%P 137-148
%V 21
%U http://geodesic.mathdoc.fr/item/AMLG_1981__21_137982/
%F AMLG_1981__21_137982