Normal view MARC view ISBD view

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics edited by Laura Crossila and Peter Schuster - Oxford Clarendon Press ; Oxford University Press 2005 - xix, 350 p. : ill. ; 24 cm

Includes bibliographical references and index

ISBN: 9780198566519

ISSN: 2006296109

Subjects--Topical Terms:
Analyse (wiskunde)
Constructieve wiskunde
Constructive mathematics - Congresses
Topologie

Dewey Class. No.: 511.36 C RO

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

Find us on the map