new approach to dedikind's theory of real numbers with special reference to the four fundamental operations
