From Sets and Types to Topology and Analysis - Crosilla, Schuster (Oxford University PressOxford University Press, 2007)