Mathematics: The Study of Axiom Systems - Witter, G. E.