Logicism revisited in the propositional fragment of Leśniewski's ontology
pp. 219-232
in: Evandro Agazzi, György Darvas (eds), Philosophy of mathematics today, Berlin, Springer, 1997Abstract
Although not so popular in the contemporary philosophical and logical scene, logicism dating from Frege and Russell was the first attempt to declare arithmetic as invariantly valid for any model involving an infinite number of individuals.
