Lanzamientos por Laura Crosilla

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