Sistemas de cálculo como formas de Logicismo | Publicación