European Societyfor Phenomenology
Repository | Directory | Profile
Euclidean arithmetic
2011
J.P. Mayberry
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer