Heyting A. La fundamentación intuicionista de la matemática. Metatheo [Internet]. 1 de abril de 2020 [citado 15 de enero de 2025];10(2):73-8. Disponible en: https://metatheoria.unq.edu.ar/index.php/m/article/view/212