Văn bản này: Symbolic logic and the real number system :