In the 1980s, a group of theoretical physicists introduced several models for certain disordered systems, called "spin glasses". This rigorous book introduces this exciting new area to the mathematically minded reader. It requires no knowledge whatsoever of any physics, and contains proofs in complete detail of much of what is rigorously known on spin glasses at the time of writing.