A Texas style introduction to proof - Taylor, Ron 1948- (AMS/MAA Textboks, 2017)