Granger, G.-G. 1990. O formal e o transcendental na matemática . Estudos Avançados. 4, 10 (dez. 1990), 151–158.