The Theory of Successor with an Extra Predicate.
Thomas, Wolfgang
Mathematische Annalen, Tome 237 (1978), p. 121-132 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1978-01-01
EUDML-ID : urn:eudml:doc:182780 
@article{PPN235181684_0237+dmdlog20,
     title = {The Theory of Successor with an Extra Predicate.},
     journal = {Mathematische Annalen},
     volume = {237},
     year = {1978},
     pages = {121-132},
     zbl = {0369.02025},
     url = {http://dml.mathdoc.fr/item/PPN235181684_0237+dmdlog20}
}

Thomas, Wolfgang. The Theory of Successor with an Extra Predicate.. Mathematische Annalen, Tome 237 (1978) pp. 121-132. http://gdmltest.u-ga.fr/item/PPN235181684_0237+dmdlog20/