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