Theorems, proofs and the people who found them
How Proof Is Made
Branches, theorems, concepts and the mathematicians who built them, each result traced to what it depends on and what depends on it in turn, down to the conjectures still waiting on a proof.