عنوان
پدید آورنده
موضوع
رده
QA 9.56 .F76 2005
QA
9
.
56
.
F76
2005
کتابخانه
محل استقرار
9780198566 0198566514
02BL0000000012397
انگلیسی
From sets and types to topology and analysis
edited by Laura Crossila and Peter Schuster
Oxford
Clarendon ; New York : Oxford University Press
,2005
xix, 350 p. ill. 24 cm.
Oxford logic guides ;48
towards practicable foundations for constructive mathematics
غیرمرجع
Includes bibliographical references and index.
Constructive mathematics- Congresses
Constructieve wiskunde.- gtt
Analyse )wiskunde(- gtt
Topologie.- gtt
QA
9
.
56
.
F76
2005
"This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface.
AU
AU
Crosilla, Laura.
Schuster, Peter,1966-
