TY  - BOOK
AU  - Crosilla, Laura
AU  - Schuster, Peter
TI  - From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
SN  - 9780198566519
SN  - 200629610
U1  - 511.36 C RO 
PY  - 2005///
CY  - Oxford
PB  - Clarendon Press ; Oxford University Press
KW  - Analyse (wiskunde)
KW  - Constructieve wiskunde
KW  - Constructive mathematics - Congresses
KW  - Topologie
N1  - Includes bibliographical references and index
ER  -