Sets and Proofs - pocket, Engelsk, 1999