Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Brouwer, L.E.J.: Collected works 1 (ed. Heyting, A.). Amsterdam: North-Holland 1975.
2. Heyting, A.: Intuitionistic views on the nature of mathematics. Synthese27, 79–91 (1974).
3. Kleene, S.C., Vesley, R.E.: The foundations of intuitionistic mathematics. Amsterdam: North-Holland 1965.
4. Kreisel, G.: The non-derivability of ⌝(x)A(x) →(Ex) ⌝A(x). A primative recursive, in intuitionistic formal systems (abstract). J. Symb. Logic23, 456–457 (1958).
5. Krol', M.D.: A topological model for intuitionistic analysis with Kripke's scheme. Z. math. Logik und Grundlagen der Mathematik24, 427–436 (1978).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献