Publisher
American Mathematical Society (AMS)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Lorenzen and Constructive Mathematics;Paul Lorenzen -- Mathematician and Logician;2021
2. On Takeuti’s Early View of the Concept of Set;Springer Proceedings in Mathematics & Statistics;2021
3. The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory;Perspectives on the History of Mathematical Logic;2008
4. Philosophical aspects of proof theory;Tome 1 Philosophie du langage, Logique philosophique / Volume 1 Philosophy of language, Philosophical logic;1981