From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics Crosilla, Laura Schuster, Peter 9780198566519 Oxford Logic Guides Innbundet 06.10.2005 Engelsk I salg
