G. E. Rosado Haddock, “On the semantics of mathematical statements”, Manuscrito - Rev. Int. Fil., vol. 19, no. 1, pp. 149–175, Apr. 1996.