A. Heyting, «La fundamentación intuicionista de la matemática», Metatheo, vol. 10, n.º 2, pp. 73–78, abr. 2020.