Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. D. van Dalen, An interpretation of intuitionistic analysis, Annals of Mathematical Logic 13 (1978), pp. 1?43.
2. D. van Dalen, How to glue Analysis models. Journal of Symbolic Logic 49 (1984). pp. 1339?1349.
3. M. Dummett, Elements of Intuitionism, Oxford University Press, Oxford, 1947.
4. V. Dyson and G. Kreisel, Analysis of Beth's Semantic Construction of Intuitionistic Logic, Technical Report no. 3, Appl. Math, and Statistics Laboratories, Stanford University, Stanford Cal. 1961. Part II.
5. R. J. Grayson, Concepts of general topology in constructive mathematics and in sheaves, Annals of Mathematical Logic 20 (1981), pp. 1?41.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Intuitionistic Logic;Handbook of Philosophical Logic;2002
2. A new model for intuitionistic analysis;Annals of Pure and Applied Logic;1990-05