Ángel N. Fernández, “Sistemas de cálculo como formas de Logicismo”, CRHF, vol. 25, no. 73, pp. 15–35, Jan. 2019.