Yet another introduction to analysis - Bryant, Victor (Cambridge University Press, 1990)