Fernández, Ángel N. Sistemas De cálculo Como Formas De Logicismo. CRHF 2019, 25, 15-35.