Levy, L. F. Complexidade, Matemática Formal E Matemática Espontânea. Perspec. Ed. Matemática 2019, 11 (26).