Publisher
American Mathematical Society
Cited by
81 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fragen der Gesundheit;Kurt Gödel;2024
2. Die 1950er-Jahre. Jünger – Anerkennung;Kurt Gödel;2024
3. Classical consequences of constructive systems;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. A direct computational interpretation of second-order arithmetic via update recursion;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
5. The Price of Mathematical Scepticism;Philosophia Mathematica;2022-06-30