Book of Proof, by Richard Hammack. This is the textbook now being used for MHF 3202 (Sets and Logic).
Taking and Using Notes in a College Math Class
Sets and Functions
What is a proof?
Mathematical grammar and correct use of terminology
One-to-one and onto: What you are really doing when you solve equations Direct Sums
Convex Sets in Vector Spaces