Welcome to STEMerch!
This link will take you to Amazon for final purchase but STEMerch will get a commission on qualified sales.
Author: Abbott, Stephen
Prerequisites: Proofs (direct, indirect, induction, etc), logic, set theory, and single variable calculus
Number Of Pages: 324
If you are going to dive into real analysis on your own, this is the ideal book to do just that.