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