Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Feferman, S.: Lectures on Proof Theory. Proceedings of the Summer School in Logic. Lecture Notes70, Springer, Berlin 1968, 1–108.
2. Kino, A., and G. Takeuti: On predicates with infinitely long expressions. J. Math. Soc. Japan15 (1963), 176–190.
3. Kleene, S. C.: On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper). Am. J. Math.66, 41–58.
4. Kleene, S. C.: Introduction to Metamathematics. North-Holland Publ. Co., Amsterdam 1964.
5. Lopez-Escobar, E. G. K.: An interpolation theorem for denumerably long formulas. Fund. Math.57 (1965), 253–272.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献