Mathematics : the study of axiom systems - Witter, George E. (A Blaisdell Book in The Pure and Applied Sciences / Blaisdell Publishing Company., 1964)