Logic in mathematics : an elementary approach - Hallerberg, Arthur E. (Hafner Press, 1974)