From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics Oxford Logic Guides, nr. 48 Editat de Laura Crosilla et al. 6 oct 2005 Hardback Preț: 1342.67 lei 1941.57 lei 45-50 zile -31%
