Funder
Japan Society for the Promotion of Science
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Avron, A.: A note of provability, truth and existence. J. Philos. Logic 20(4), 403–409 (1991)
2. Feferman, S.: Arithmetization of metamathematics in a general setting. Fund. Math. 49, 35–92 (1960)
3. Friedman, H.: The disjunction property implies the numerical existence property. Proc. Natl. Acad. Sci. USA 72(8), 2877–2878 (1975)
4. Gentzen, G.: Untersuchungen über das logische Schliessen. Math. Z. 39(2–3), 176–210, 405–431 (1934–1935)
5. Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anzeiger der Akademie der Wissenschaften in Wien 69, 65–66 (1932) (translated in Kurt Gödel, Collected works, vol. 1, pp. 222–225)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献