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.

Saved in:
Bibliografiske detaljer
Andre forfattere: Crosilla, Laura (Editor), Schuster, Peter, 1966- (Editor)
Format: eBog
Sprog:English
Udgivet: Oxford : Clarendon, 2005.
Serier:Oxford logic guides ; 48.
Fag:
Constructive mathematics > Congresses.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Constructive mathematics
Constructieve wiskunde.
Analyse (wiskunde)
Topologie.
Electronic books.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online adgang:Click for online access
Login Til information omkring lån og hjemkaldelser

Internet

Click for online access

Online

Detaljer om beholdninger fra Online
Tilgængelig

Lignende værker