Invitation to Real Analysis - Cesar E. Silva - Bog

Provides a careful introduction to the real numbers with an emphasis on developing proof-writing skills. The book continues with a logical development of the notions of sequences, open and closed sets (including compactness and the Cantor set), continuity, differentiation, integration, and series of numbers and functions.