TY  - GEN
AU  - Crosilla, Laura
AU  - Schuster, Peter
TI  - From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
SN  - 9780198566519
AV  - QA 9.56 Set 
PY  - 2005///
CY  - Oxford : 
PB  - Clarendon Press
KW  - CONGRESSES
KW  - CONSTRUCTIVE MATHEMTICS
ER  -