Reference14 articles.
1. Barwise, J.: Admissible Sets and Structures. An Approach to Definability Theory, Berlin-Heidelberg-New York 1975
2. Functorial bounds for cut elimination in Lβω.I, in;Ferbus;Arch. math. Logik,1984
3. Girard, J.-Y.: A survey of ∏21-logic, in: Cohen, L.J., Łoś, J., Pfeiffer, H., Podewski, K.-P. (eds.): Logic, Methodology and Philosophy of Science Vi. Proceedings of the Sixth International Congress at Hannover 1979, Amsterdam-New York-Oxford-Warszawa 1982, 89-107
4. ∏21-logic, Part 1: Dilators, in;Girard;Annals of Mathematical Logic,1981
5. A system of abstract constructive ordinals;Howard;Jsl,1972
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献