Euclidean arithmetic

the finitary theory of finite sets

2011

J.P. Mayberry

in: Foundational theories of classical and constructive mathematics, Berlin,