Complete Axiomatisations of Properties of Finite Sets

Thomas Ågotnes, Michal Walicki. Complete Axiomatisations of Properties of Finite Sets. Logic Journal of the IGPL, 16(3):293-313, 2008. [doi]

Authors

Thomas Ågotnes

This author has not been identified. Look up 'Thomas Ågotnes' in Google

Michal Walicki

This author has not been identified. Look up 'Michal Walicki' in Google