References
J.P. Mayberry
(2010-2019)
XEuclidean arithmetic: the finitary theory of finite sets
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
(2010-2019)
X2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer