Velupillai's book is awesome. An exercise of his that I love is looking at how much of general equilibrium theory one can prove using only constructive math.

A nice blog on a similar vein seems to have been started recentely on http://aiecon.tumblr.com/ by a grad student of Sandholm.