Crosilla, Laura
From Sets and Types to Topology and Analysis: towards practicable foundations for constructive mathematics by Laura Crosilla - New York Oxford University Press 2005 - xix, 350 p.
From Sets and Types to Topology and Analysis: towards practicable foundations for constructive mathematics by Laura Crosilla - New York Oxford University Press 2005 - xix, 350 p.
1. Constructive Set Theories and The
9780198566519
511.3622 CRO