I'm fond of Wilson Sutherland's book Introduction to Metric and Topological Spaces . It covers topics such as completeness and compactness extremely well. In particular, the motivation of compactness is the best I've seen. (It doesn't do any algebraic topology, though.) I just taught a class using it, and it was generally well liked.