Author:
Aczel P. H. G.,Crossley John N.
Publisher
Springer Science and Business Media LLC
Reference3 articles.
1. 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.
2. Crossley, John N., Constructive Order Types, II. (Journal of Symbolic Logic31, 1966.)
3. Kleene, S. C., Introduction to Metamathematics, (Amsterdam, 1952).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Chapter 11 A bibliography of recursive algebra and recursive model theory;Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory;1998
2. References;Studies in Logic and the Foundations of Mathematics;1969
3. Recursive equivalence: A survey;Proceedings of the Summer School in Logic Leeds, 1967;1968