Crosilla, L., & Schuster, P. (2005). From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics. clarendon press.
Styl cytowania ChicagoCrosilla, L., i Peter Schuster. From Sets and Types to Topology and Anlysis - Towards Practicable Foundations for Constructive Mathematics. clarendon press, 2005.
Styl cytowania MLACrosilla, L., i Peter Schuster. From Sets and Types to Topology and Anlysis - Towards Practicable Foundations for Constructive Mathematics. clarendon press, 2005.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..