From Sets and Types to Topology and Analysis Towards practicable foundations for constructive mathematics Crosilla Laura Innbundet / 2005 / Engelsk
