[Bell, J.l. [1977] Boolean-valued Models and Independence Proofs in Set Theory. Oxford Logic Guides. Oxford, UK: Clarendon Press. xviii+126.]Search in Google Scholar
[Grayson, R.J. [1979] Heyting-valued models for intuitionistic set theory in M.P. Fourman et al. (eds.) Applications of Sheaves. Proceedings, Durham 1977. Lecture Notes in Mathematics. Volume 753. New York, NY: Springer- Verlag. pp. 402-414.10.1007/BFb0061825]Search in Google Scholar
[McCarty, C. [2018] What is a logical truth? Proceedings of the XIV Congreso “Dr. AntonioMonteiro.” Institute ofMathematics. Universidad Nacional del Sur, AR: Bahía Blanca.]Search in Google Scholar
[Putnam, H. [1975] The meaning of ‘meaning.’ in K. Gunderson (ed.) Minnesota Studies in the Philosophy of Science. Volume VII. Language, Mind, and Knowledge.Minneapolis,MN: University ofMinnesota Press. pp. 131-193.]Search in Google Scholar
[Troelstra, A.S. [1980] Intuitionistic extensions of the reals. Nieuw Archief Voor Wiskunde. Volume XXVIII. pp. 63-113.]Search in Google Scholar
[Troelstra, A.S. & D. van Dalen [1988] Constructivism in Mathematics. An Introduction. Volume I. Amsterdam, NL: The North-Holland. xx+342+XIV.]Search in Google Scholar