[jonathanstrange]

For social choice this is often used as an introductory book:

Wulf Gaertner: A Primer in Social Choice Theory. Oxford UP 2009.

However, I personally found his proof of Arrow's Theorem cumbersome and not so accessible, and prefer the following books:

Christoph Börgers: Mathematics of Social Choice. Siam Publications 2010.

Alan D. Taylor: Social Choice and the Mathematics of Manipulation. Cambridge UP 2005.

They are both concise and easy to follow if you're familiar with this kind of mathematics (for example, if you have a CS background). As for "popular science" books on social choice, I don't know of any good one and unfortunately have heard a few colleagues in philosophy misinterpret Arrow's Theorem. In that respect it's quite similar to Gödel's Theorems.