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.

Bewaard in:
Bibliografische gegevens
Andere auteurs: Crosilla, Laura (Redacteur), Schuster, Peter, 1966- (Redacteur)
Formaat: E-boek
Taal:English
Gepubliceerd in: Oxford : Clarendon, 2005.
Reeks:Oxford logic guides ; 48.
Onderwerpen:
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 toegang:Click for online access
Aanmelden Informatie over reserveringen

Internet

Click for online access

Online

Exemplaargegevens van Online
Beschikbaar

Gelijkaardige items