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.

Salvato in:
Dettagli Bibliografici
Altri autori: Crosilla, Laura (Redattore), Schuster, Peter, 1966- (Redattore)
Natura: eBook
Lingua:English
Pubblicazione: Oxford : Clarendon, 2005.
Serie:Oxford logic guides ; 48.
Soggetti:
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.
Accesso online:Click for online access
Entra per informazioni su prenotazioni e richieste

Accesso online

Click for online access

Online

Dettagli sul posseduto da Online
Disponibile

Documenti analoghi