Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

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
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-0-19-856651-9
Name Crosilla, Laura ¬[MitwirkendeR]¬
Schuster, Peter ¬[MitwirkendeR]¬
Name ANZEIGE DER KETTE Schuster, Peter ¬[MitwirkendeR]¬
T I T E L From sets and types to topology and analysis
Zusatz zum Titel towards practicable foundations for constructive mathematics
Verlagsort Oxford
Verlag Clarendon
Erscheinungsjahr 2005
2005
Umfang 1 online resource (xix, 350 p.) : ill.
Reihe Oxford logic guides ; 48
Notiz / Fußnoten "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
Titelhinweis Erscheint auch als (Druck-Ausgabe)ISBN: 978-0-19-856651-9
ISBN ISBN 978-0-19-171392-7 ebook
ISBN 0-19-171392-9 ebook
Klassifikation 511.3'6
SK 110
SK 130
SK 200
SK 320
Kurzbeschreibung 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.
1. Schlagwortkette Mengenlehre
Topologie
Analysis
Topostheorie
Koalgebra
1. Schlagwortkette ANZEIGE DER KETTE Mengenlehre -- Topologie -- Analysis -- Topostheorie -- Koalgebra
2. Schlagwortkette Konstruktive Mathematik
ANZEIGE DER KETTE Konstruktive Mathematik
SWB-Titel-Idn 1003248306
Signatur E-Book Oxford EBS
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1093/acprof:oso/9780198566519.001.0001
Internetseite / Link Resolving-System
.
ISBD-Anzeige Katalogdatensatz500405980
.
Kategorien-Anzeige Katalogdatensatz500405980
.
Verwandte Werke Katalogdatensatz500405980
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500405980
.
Kataloginformation500405980 Datensatzanfang . Kataloginformation500405980 Seitenanfang .
Titel vormerken Katalogdatensatz500405980
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche