J. J. Silva, “ON PROOFS IN MATHEMATICS”, Manuscrito - Rev. Int. Fil., vol. 31, nº 1, p. 185–196, dez. 2015.