You might like Michael Spivak's "Calculus" as a rigorous approach to what might as well be called introductory real analysis.