Granger, Gilles-Gaston. “ O Formal E O Transcendental Na matemática ”. Estudos Avançados, vol. 4, nº 10, dezembro de 1990, p. 151-8, https://www.revistas.usp.br/eav/article/view/8584.