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