References
Crossley, John N.,Constructive Order, I in Formal Systems and Recursive Functions. Ed. J. N. Crossley and M. A. E. Dummett (Amsterdam, 1965), 189–264.
Crossley, John N., Constructive Order Types, II. (Journal of Symbolic Logic31, 1966.)
Kleene, S. C., Introduction to Metamathematics, (Amsterdam, 1952).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Aczel, P.H.G., Crossley, J.N. Constructive order types, III. Arch math Logik 9, 112–116 (1966). https://doi.org/10.1007/BF01973031
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01973031