Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Diller J, Troelstra AS (1984) Realizability and intuitionistic logic. Synthese 60:253–282
2. Dummett M (1991) The logical basis of metaphysics. Duckworth, London
3. Heyting A (1931) Die intuitionistische Grundlegung der Mathematik. Erkenntnis 2:106–115
4. Heyting A (1934) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Springer, Berlin
5. Heyting A (1956) Intuitionism. An introduction. North-Holland Publisher, Amsterdam
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献