References
J.P. Mayberry
Euclidean arithmetic: the finitary theory of finite sets
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer