Mathematical proofs a transition to advanced mathematics - Chartrand, Gary; Polimeni, Albert D.; Zhang, Ping (Pearson, 2018)