Mathematics : the study of axiom systems - Witter, G. E. (A Blaisdell book in the pure and applied sciences, 1965)