Publisher
University of Chicago Press
Subject
History and Philosophy of Science,Philosophy,History
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. PA RELATIVE TO AN ENUMERATION ORACLE;The Journal of Symbolic Logic;2022-07-18
2. Reverse Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2021
3. Introduction;Ordinal Analysis with an Introduction to Proof Theory;2020
4. THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC;The Review of Symbolic Logic;2017-02-20
5. Computability in Symbolic Dynamics;Pursuit of the Universal;2016