The logical and set-theoretical foundations of mathematics - Zulauf, A. (A modern introduction to pure mathematics, 1969)