This is the gold standard for transitioning from computational math to proof-based math. It systematically breaks down the machinery of logic and quantifiers, teaching you exactly how to deconstruct and assemble mathematical proofs. Book: Book of Proof by Richard Hammack
Before diving into formal graduate coursework, these "popular" math books help build excitement and intuition for advanced concepts: The Joy of X higher mathematics books