Geodesic
The Theory of Successor with an Extra Predicate.
Mathematische Annalen, Tome 237 (1978), pp. 121-132

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

Zbl 
Wolfgang Thomas. The Theory of Successor with an Extra Predicate.. Mathematische Annalen, Tome 237 (1978), pp. 121-132. http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/
@article{MAN_1978__237_182780,
     author = {Wolfgang Thomas},
     title = {The {Theory} of {Successor} with an {Extra} {Predicate.}},
     journal = {Mathematische Annalen},
     pages = {121--132},
     year = {1978},
     volume = {237},
     zbl = {0369.02025},
     url = {http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/}
}
TY  - JOUR
AU  - Wolfgang Thomas
TI  - The Theory of Successor with an Extra Predicate.
JO  - Mathematische Annalen
PY  - 1978
SP  - 121
EP  - 132
VL  - 237
UR  - http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/
ID  - MAN_1978__237_182780
ER  - 
%0 Journal Article
%A Wolfgang Thomas
%T The Theory of Successor with an Extra Predicate.
%J Mathematische Annalen
%D 1978
%P 121-132
%V 237
%U http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/
%F MAN_1978__237_182780