Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Avigad, J., Feferman, S.: Gödel’s functional (“dialectica”) interpretation. In: Handbook of Proof Theory, S. Buss, ed., pp. 337–405. North-Holland, Amsterdam 1998.
2. A tribute to Kurt Gödel. Notices of the American Mathematical Society 53(4), April 2006
3. Buldt, B. et al. (eds.): Wahrheit und Beweisbarkeit. Kurt Gödel. Kompendium zum Werk, Band 2. öbv et hpt, Wien 2003
4. Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and logic, 4th edn. Cambridge University Press, Cambridge 2002
5. Boolos, G.: The logic of provability. Cambridge University Press, Cambridge 1993
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Grundlagen des logischen Schließens;Philosophisches Handbuch Künstliche Intelligenz;2024
2. Gödel, mathematischer Realismus und Antireduktionismus;Wider den Reduktionismus;2021
3. Grundlagen des logischen Schließens;Springer Reference Geisteswissenschaften;2020
4. Von Dedekind zu Zermelo versus Peano zu Gödel;Mathematische Semesterberichte;2017-06-22