Author:
Cruz-Filipe Luís,Ferreira Fernando
Reference14 articles.
1. [1] Burgess, J. P., “On a consistent subsystem of Frege’s Grundgesetze,” Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 274–78.
2. [2] Burgess, J. P., Fixing Frege, Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005.
3. [3] Burgess, J. P., and A. P. Hazen, “Predicative logic and formal arithmetic,” Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 1–17.
4. [4] Buss, S. R., “An introduction to proof theory,” pp. 1–78 in Handbook of Proof Theory, edited by S. R. Buss, vol. 137 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998.
5. [5] Ferreira, F., and G. Ferreira, “Interpretability in Robinson’s $\mathsf{Q}$,” Bulletin of Symbolic Logic, vol. 19 (2013), pp. 289–317.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Zigzag and Fregean Arithmetic;Logic, Epistemology, and the Unity of Science;2018