Melo DHF de. O intuicionismo e o problema com as provas não construtivas. Griot : Revista de Filosofia [Internet]. 18º de junho de 2017 [citado 2º de maio de 2024];15(1):100-1. Disponível em: https://periodicos.ufrb.edu.br/index.php/griot/article/view/749