Crosilla, Laura
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
From Sets and Types to Topology and Analysis :Towards practicable foundations for constructive mathematics
by:
Crosilla, Laura; Oxford University Press.; Schuster, Peter
(書目-電子資源)