Title: The structure of the real number system, a programmed introduction
First published: 1967