Boeken over On the computational content of the axiom of choise