Shoham, Leyton-Brown: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Sat, May 16, 2009./cs | LinkThis book looks fantastic. Social choice, formal epistemics, game theory, so on and so forth. I really need a few spare lives right now.
What makes it even more fantastic is that Cambridge University Press has allowed them to distribute it as a free eBook too, making them surely the most progressive academic publisher.