TY  - BOOK
AU  - Crosilla,Laura
AU  - Schuster,Peter
TI  - From sets and types to topology and analysis: towards practicable foundations for constructive mathematics 
T2  - Oxford logic guides
SN  - 0198566514 (empastado)
AV  - QA9.56 F76
U1  - 511.36 22
PY  - 2005///
CY  - Oxford
PB  - Clarendon Press
KW  - Matematicas constructivas
KW  - Congresos
N1  - "This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Pról
ER  -