A. Tarski, P. D. N. Velasco, and E. G. de Souza, “Sobre Alguns Conceitos Fundamentais da Metamatemática (Tarski, Alfred)”, Princí­pios, vol. 8, no. 10, pp. 187–209, Oct. 2010.