R. C. E. Biraben, “ON THE MATHEMATICS OF LOGIC AND THE LOGIC OF MATHEMATICS”, Manuscrito - Rev. Int. Fil., vol. 28, nº 2, p. 193–200, mar. 2016.