A rigorous, formal real analysis multi-volume work by an Australian writer
Several years ago I saw at the library a textbook on Real Analysis by some Australian professor that was extraordinarily rigorous, formal and self-contained like nothing I'd seen before or since. It started from logic and set theory and worked its way up with painstaking detail and formal perfection.
I'd appreciate help in identifying the book. I believe it comprised of two volumes and was typeset in the horrid pre-latex, typewriter font. It had a yellow softcover. I believe it was published sometime between 1970-2000.