References
- Bridges, D. S. and F. Richman: 1987, Varieties of Constructive Mathematics, Cambridge University Press, Cambridge.
- Dummett, M. A. E.: 2000, Elements of Intuitionism, 2nd ed., Clarendon Press, Oxford.
- Fernández Díez, G.: 2000, ‘Five observations concerning the intended meaning of the intuitionistic logical constants’, Journal of Philosophical Logic 29, 409-424.
- McCarty, D. C.: 1994, ‘On theorems of Gödel and Kreisel: completeness and Markov’s principle’, Notre Dame Journal of Formal Logic 35, 99-107.
- Putnam, H.: 1975, Mathematics, Matter and Method: Philosophical Papers, vol. 1, Cambridge University Press, Cambridge.
- Troelstra, A. S. and D. van Dalen: 1988, Constructivism in Mathematics: an Introduction, North-Holland, Amsterdam.