Foundations of analysis A straightforward introduction - Binmore K G (Cambridge Cambridge University Press, 1981)
Book: Logic, Sets and Numbers