Heyting, A. «La fundamentación Intuicionista De La matemática». Metatheoria – Revista De Filosofía E Historia De La Ciencia, vol. 10, n.º 2, abril de 2020, pp. 73-78, doi:10.48160/18532330me10.212.