TY  - GEN
AU  - Crosilla, Laura 
AU  - Schuster, Peter 
TI  - From sets and types to topology and analysis: towards practicable foundations for constructive mathematics
SN  - 0198566514
U1  - 511.36 
PY  - 2005///
CY  - Oxford
PB  - Clarendon Press
KW  - General principles of mathematics
KW  - Mathematics
ER  -