SEPARATION PROPERTIES IN CONSTRUCTIVE TOPOLOGY
In: From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics, 2005, ill.; (2005-10-06)
Online
E-Book
Zugriff:
Titel: |
SEPARATION PROPERTIES IN CONSTRUCTIVE TOPOLOGY
|
---|---|
Autor/in / Beteiligte Person: | Aczel, Peterhor ; Fox, Christopherhor |
Link: | |
Quelle: | From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics, 2005, ill.; (2005-10-06) |
Veröffentlichung: | 2005 |
Medientyp: | E-Book |
ISBN: | 978-0-19-171392-7 (print) ; 978-0-19-856651-9 (print) ; 0-19-171392-9 (print) ; 0-19-856651-4 (print) |
DOI: | 10.1093/acprof:oso/9780198566519.003.0011 |
Sonstiges: |
|