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

@article{MAN_1978__237_182780,
     author = {Wolfgang Thomas},
     title = {The {Theory} of {Successor} with an {Extra} {Predicate.}},
     journal = {Mathematische Annalen},
     pages = {121--132},
     publisher = {mathdoc},
     volume = {237},
     year = {1978},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/
%F MAN_1978__237_182780
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/