-
RecordNumber
6173
-
Title
From sets and types to topology and analysis towards practicable foundations for constructive mathematics
-
SubTitle
towards practicable foundations for constructive mathematics
-
Author Statement
edited by Laura Crossila and Peter Schuster
-
Publication
Clarendon ;Oxford University Press
-
Publication Year
2005
-
Collation
xix, 350 p. ill. 24 cm
-
Series
Oxford logic guides
-
Notes
"This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface , Includes bibliographical references and index
-
Subject
Constructive mathematics , Constructieve wiskunde. , Analyse (wiskunde) , Topologie.
-
ADDED ENTRIES
Crosilla, Laura. , Schuster, Peter,
-
Main class
511.36
-
Link To Document :
