From sets and types to topology and analysis
Subtitle: towards practicable foundations for constructive mathematics
By: edited by Laura Crossila and Peter Schuster.
Contributors: Crosilla, Laura.; Schuster, Peter, 1966-
Series: Oxford logic guides -- 48
Publisher: Clarendon Press
Published: 2005
Place of publication: Oxford
Language: eng
Number of pages: 350
Subjects: Constructive mathematics -- Congresses.
Genres: Congresses.
Description: Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.
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.