The Logic of Constructivism
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.
Language: English, Portuguese
Page range: 37 - 42
Published on: Dec 31, 2018
Published by: University of Lisbon
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Related subjects:
© 2018 Gustavo Fernández Díez, published by University of Lisbon
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.