Binmore, Mathematical Analysis. He's at one of the London Universities (UCL I think). It's not flashy but it's very clean. The proofs are there; they're tidy and I think it's readable. I've used it for this kind of course myself.