Publisher
Springer International Publishing
Reference142 articles.
1. Aczel, P. (1978). The type theoretic interpretation of constructive set theory. In MacIntyre et al. (1978, pp. 55–66).
2. Artemov, S. (2001). Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1), 1–36.
3. van Atten, M. (2004a). On Brouwer. Belmont: Wadsworth.
4. van Atten, M. (2007). Brouwer Meets Husserl: On the phenomenology of choice sequences. Dordrecht: Springer.
5. van Atten, M. (2010). Construction and constitution in mathematics. The New Yearbook for Phenomenology and Phenomenological Philosophy, 10, 43–90. Included in this volume as Chap. 12.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献