Forcing Idealized by Jindrich Zapletal – 9780521874267

A nice touch is that the digital download includes interactive elements.