Hacker News new | ask | show | jobs
by dhosek 2195 days ago
There's a good undergraduate-level text that gives enough background to understand the proof.

http://www.amazon.com/exec/obidos/ASIN/0123392519/donhosek