Modern algebra : a logical approach - Pearson, Helen R.; Allen, Frank B.