Ángel N. Fernández, «Sistemas de cálculo como formas de Logicismo», CRHF, vol. 25, n.º 73, pp. 15–35, ene. 2019.