Publisher
Springer International Publishing
Reference24 articles.
1. Feferman, A.B., Feferman, S.: Alfred Tarski. Life and Logic. Cambridge University Press, New York (2004)
2. Feferman, S.: Formal Consistency Proofs and Interpretability of Theories. Dissertation, Univ. of California at Berkeley, Berkeley (1957)
3. Feferman, S.: Arithmetization of metamathematics in a general setting. Fundam. Math. 49, 35–92 (1960)
4. Feferman, S.: Transfinite recursive progressions of axiomatic theories. J. Symb. Log. 27, 259–316 (1962)
5. Feferman, S.: Systems of predicative analysis. J. Symb. Log. 29, 1–30 (1964)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献