Introduction to mathematical proofs : a transition to advanced mathematics - Roberts, Charles E. 1942- (CRC Press, 2015)