Introduction to mathematical proof a transition to advanced mathematics - Roberts, Charles E., Jr (Textbooks in mathematics., 2015)