From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster

Workshop: "From Sets and Types to Topology and Analysis" ; (Venice) : 2003.05.12-16

Englisch

Oxford ; New York : Clarendon, 2005

XIX, 350 S. : graph. Darst. ; 24 cm

"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

978-0-19-856651-9 hbk.

0-19-856651-4 hbk.

*Mengenlehre / Topologie / Analysis / Topostheorie / Koalgebra

*Constructive mathematics -- Congresses ; Constructieve wiskunde ; Analyse (wiskunde) ; Topologie

Klassifikation der Library of Congress: QA9.56

Dewey Dezimal-Klassifikation: 511.36

Regensburger Verbund-Klassifikation: SK 200: SA-SP Mathematik / SK Monografien / Algebra, Allgemeine Lehrbücher, Galois-Theorie, Körpererweiterung

Mathematics Subject Classification: *03-06

Mathematics Subject Classification: 00B25

http://www.loc.gov/catdir/enhancements/fy0636/2006296109-d.html [Inhaltstext]

http://www.loc.gov/catdir/enhancements/fy0636/2006296109-t.html [Inhaltsverzeichnis]

https://zbmath.org/?q=an:1076.03003 [Zentralblatt MATH]

Potsdamer Straße

BIBTEX - ENDNOTE - RIS