![130238](https://sdvigpress.org/images/creator/_default.jpg)
References
J.P. Mayberry
Euclidean arithmetic: the finitary theory of finite sets![Open Access Link](images/OAlink.png)
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer