Robin Gandy's thesis is now freely available at: https://www.repository.cam.ac.uk/handle/1810/245090 This free access has been made possible thanks to the time and effort invested by Mike Yates, Martin Hyland, and Barry Cooper, and supporting funding from Barry Cooper. Yours, Ohad.