A transition to mathematics with proofs - Cullinane, Michael J. (International series in mathematics., 2013)