Mathematical proofs : a transition to advanced mathematics - Chartrand, Gary; Polimeni, Albert D., 1938-; Zhang, Ping, 1957- (Pearson Education, 2013)