Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Curry, H.B.: Foundations of mathematical logic. New York: Mc-Graw-Hill (1963); Dover New York (1977).
2. Springer Lecture Notes in Mathematics;W. Felscher,1975
3. Kleene, S.C.: Mathematical logic. New York: Wiley 1968.
4. Mints, G.E.: Finite investigations of transfinite derivations. J. Sov. Math.10, 548–596 (1978).
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献