Author:
Ferreira Fernando,Ferreira Gilda
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Avigad J.: Formalizing forcing arguments in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 82, 165–191 (1996)
2. Avigad, J., Feferman, S.: Gödel’s functional (“Dialectica”) interpretation. In: Buss, S.R. (ed.) Handbook of Proof Theory, Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 337–405. North Holland, Amsterdam (1998)
3. Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics, London Mathematical Society Lecture Notes Series, vol. 97. Cambridge University Press, Cambridge (1987)
4. Buss, S.R.: Bounded arithmetic. Ph.D. thesis, Princeton University, Princeton, New Jersey (1985). A revision of this thesis was published by Bibliopolis (Naples) in 1986
5. Buss, S.R.: First-order proof theory of arithmetic. In: Buss, S.R. (ed.) Handbook of Proof Theory, vol. 137, pp. 79–147. Elsevier, Amsterdam (1998)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献