Thomas, Wolfgang. "The Theory of Successor with an Extra Predicate.." Mathematische Annalen 237 (1978): 121-132. <http://eudml.org/doc/182780>.
@article{Thomas1978, author = {Thomas, Wolfgang}, journal = {Mathematische Annalen}, pages = {121-132}, title = {The Theory of Successor with an Extra Predicate.}, url = {http://eudml.org/doc/182780}, volume = {237}, year = {1978}, }
TY - JOUR AU - Thomas, Wolfgang TI - The Theory of Successor with an Extra Predicate. JO - Mathematische Annalen PY - 1978 VL - 237 SP - 121 EP - 132 UR - http://eudml.org/doc/182780 ER -