Stanisław Leśniewski: rethinking the philosophy of mathematics [pdf]