Real numbers : Development of the real numbers in an axiometric set theory - Isaacs, G. L. (European mathematics series^R L Goodstein, 1968)