I am surprised no one has mentioned Halmos' Naive Set Theory or Finite-Dimensional Vector Spaces or Rudin's Principles of Mathematcal Analysis. There's also Steven Axler's Linear Algebra Done Right and Royden's Real Analysis.