Granger, Gilles-Gaston. “ O Formal E O Transcendental Na matemática ”. Estudos Avançados, vol. 4, no. 10, Dec. 1990, pp. 151-8, https://periodicos.usp.br/eav/article/view/8584.