Releases med Laura Crosilla

Cover for Laura Crosilla · From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides (Inbunden Bok) (2005)
Inbunden Bok
From Sets and Types to Topology ...
Laura Crosilla