TY - RPRT TI - Natural Number Arithmetic in the Theory of Finite Sets AU - J. P. Mayberry AU - Richard Pettigrew PY - 2008 UR - https://arxiv.org/abs/0711.2922 ID - 0711.2922 ER -