[
Bridges, D. S. and F. Richman: 1987, Varieties of Constructive Mathematics, Cambridge University Press, Cambridge.
]Search in Google Scholar
[
Dummett, M. A. E.: 2000, Elements of Intuitionism, 2nd ed., Clarendon Press, Oxford.
]Search in Google Scholar
[
Fernández Díez, G.: 2000, ‘Five observations concerning the intended meaning of the intuitionistic logical constants’, Journal of Philosophical Logic 29, 409-424.
]Search in Google Scholar
[
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.
]Search in Google Scholar
[
Putnam, H.: 1975, Mathematics, Matter and Method: Philosophical Papers, vol. 1, Cambridge University Press, Cambridge.
]Search in Google Scholar
[
Troelstra, A. S. and D. van Dalen: 1988, Constructivism in Mathematics: an Introduction, North-Holland, Amsterdam.
]Search in Google Scholar