Anmerkungen:
"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. - Description based on print version record
Beschreibung:
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.