Heyting, A. 2020. La fundamentación intuicionista de la matemática. Metatheoria – Revista de Filosofía e Historia de la Ciencia. 10, 2 (abr. 2020), 73–78. DOI:https://doi.org/10.48160/18532330me10.212.