Logic in mathematics an elementary approach - Hallerberg, Arthur E. (New York, NY, 1974)