Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. S. C. Kleene, “On the interpretation of intuitionistic number theory,” J. Symb. Log., 10, 109-124 (1945).
2. Z. Damnjanovic, “Strictly primitive recursive realizability. I,” J. Symb. Log., 59, No. 4, 1210-1227 (1994).
3. S. Salehi, “Provably total functions of basic arithmetic,” Math. Log. Quart., 49, No. 3, 316-322 (2003).
4. Z. Damnjanovic, “Minimal realizability of intuitionistic arithmetic and elementary analysis,” J. Symb. Log., 60, No. 4, 1208-1241 (1995).
5. D. A. Viter, “Primitive recursive realizability and predicate logic,” Dep. VINITI of 06.08.2001, No. 1830-B2001, Moscow.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献