From Sets and Types to Topology and Analysis inbundenEngelska, 2005