Crosilla, L., & Schuster, P. (2005). From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics. clarendon press.
Stile di citazione ChicagoCrosilla, L., e Peter Schuster. From Sets and Types to Topology and Anlysis - Towards Practicable Foundations for Constructive Mathematics. clarendon press, 2005.
Citazione MLACrosilla, L., e Peter Schuster. From Sets and Types to Topology and Anlysis - Towards Practicable Foundations for Constructive Mathematics. clarendon press, 2005.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.