Comment by vippy

Velleman's How to Prove It greatly helped my ability to construct set theoretic proofs, which better prepared me for Spivak's calculus and Baby Rudin. Hamkins' Proof and the Art of Mathematics is designed as a a good, less set-theory heavy, introduction to proof writing that leads more naturally to analysis. OpenStax books are FREE.