Collection of articles on constructive mathematics
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics / Crosilla, L.; Peter Schuster. - STAMPA. - (2005), pp. 1-376. [10.1093/acprof:oso/9780198566519.001.0001]
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Crosilla, L.;Peter Schuster
2005
Abstract
Collection of articles on constructive mathematics
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
