Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Avigad, J.: Update procedures and the 1-consistency of arithmetic. Mathematical Logic Quarterly 48, 3–13 (2002)
2. Berger, U., Oliva, P.: Modified bar recursion and classical dependent choice. Lecture Notes in Logic 20, 89–107 (2005)
3. Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica 12, 280–287 (1958)
4. Kuroda, S.: Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Mathematical Journal 3, 35–47 (1951)
5. Oliva, P.: Unifying functional interpretations. Notre Dame Journal of Formal Logic (to appear, 2006)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献