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