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.

1. Constructive Set Theories and The

9780198566519

511.3622 CRO


Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha