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