Melo, D.H.F. de 2017. O intuicionismo e o problema com as provas não construtivas. Griot : Revista de Filosofia. 15, 1 (jun. 2017), 100–110. DOI:https://doi.org/10.31977/grirfi.v15i1.749.