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:
書目詳細資料
其他作者: Crosilla, Laura (Editor), Schuster, Peter, 1966- (Editor)
格式: 電子書
語言:English
出版: Oxford : Clarendon, 2005.
叢編:Oxford logic guides ; 48.
主題:
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.
在線閱讀:Click for online access
登錄 預定和召回信息

因特網

Click for online access

Online

持有資料詳情 Online
可用

相似書籍