Sistemas de cálculo como formas de logicismo

Fernández, A.N.

Sistemas de cálculo como formas de logicismo