G. E. R. Haddock, “On the semantics of mathematical statements”, Manuscrito - Rev. Int. Fil., vol. 30, nº 2, p. 317–340, dez. 2007.