Thomas Ågotnes Michal Walicki Complete Axiomatisations of Properties of Finite Sets. 293-313 2008 16 Logic Journal of the IGPL 3 http://dx.doi.org/10.1093/jigpal/jzn008 db/journals/igpl/igpl16.html#AgotnesW08