D. H. F. de Melo, «O intuicionismo e o problema com as provas não construtivas», Griot : Revista de Filosofia, vol. 15, n.º 1, pp. 100–110, jun. 2017.