Title: Symbolic logic and the real number system
First published: 1965