Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. W. Craig,On axiomatizability within a system, Jour. of Symb. Logic,18 (1953), pp. 30–32.
2. S. Feferman,Arithmetization of metamathematics in general setting, Fund. Math.,49 (1960), pp. 35–92.
3. E. M. Gold,Limiting recursion, Jour. of Symb. Logic,18, (1965), pp. 28–48.
4. C. Mangione,Su alcune questioni connesse con i principi di riflessione, Symp. Math. dell'Ist. Naz. di Alta Mat.,5 (1971), pp. 189–201.
5. E. Mendelson,Introduction to mathematical logic, New York (1964).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献