Publisher
Springer International Publishing
Reference35 articles.
1. Church, A.: An unsolvable problem of elementary number theory. Am. J. of Math. 58(2), 345–363 (1936)
2. Logic, Epistemology, and the Unity of Science;T Coquand,2014
3. Gandy, R.: Church’s thesis and principles for mechanisms. In: Barwise, J., Keisler, J., Kunen, K. (eds.) The Kleene Symposium, pp. 123–148. North-Holland, Amsterdam (1980)
4. Gosztonyi, K.: Mathematical culture and mathematics education in hungary in the XXth century. In: Larvor, B. (ed) Mathematical Cultures. Trends in the History of Science, pp. 71–89, Birkhäuser, Basel (2016)
5. Heyting, A.: After thirty years. In: Nagel, E., Suppes, P., Tarski, A. (eds.) CLMPS 1960, pp. 194–197. Stanford University Press, Stanford (1962)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献