Publisher
Springer Science and Business Media LLC
Reference27 articles.
1. Bridges, D. S. and Richman, R. (1987): Varieties of Constructive Mathematics, Cambridge University Press, Cambridge.
2. Brouwer, L. E. J. (1927): Ñber Definitionsbereiche von Funktionen, Math. Ann. 97, 60–75. English extract in J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1897–1931, Harvard University Press, Cambridge, MA, 1967, pp. 457–463.
3. van Dalen, D. (1973): Lectures on intuitionism, in A. R. D. Mathias and H. Rogers (eds.), Cambridge Summer School of Mathematical Logic, Springer, Berlin, pp. 1–94.
4. van Dalen, D. (1983): Logic and Structure, 2nd. rev. edn, Springer, Berlin.
5. van Dalen, D. (1986): Intuitionistic logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, pp. 225–339.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献