Publisher
Cambridge University Press (CUP)
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A weak theory of building blocks;Mathematical Logic Quarterly;2024-05
2. The Bernays-Müller Debate;HOPOS: The Journal of the International Society for the History of Philosophy of Science;2023-09-01
3. Wittgenstein, Russell, and Our Concept of the Natural Numbers;Mathematical Knowledge, Objects and Applications;2023
4. Set Theory;Springer Monographs in Mathematics;2013
5. The GOEDEL Program;Journal of Automated Reasoning;2012-09-12