分享给好友:
Basic Picture Structures for Constructiv Giovanni Sambin
Basic Picture Structures for Constructiv
Giovanni Sambin
Constructive topology is an important new branch of constructive mathematics and logic and this monograph is the first account of constructive topology in book form. Aimed at researchers in mathematics, philosophy, and logic, the author provides discussion of the technical development of the field and also outlines the philosophical and methodological motivations underlying the evolution of the discipline.
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2026年1月23日 |
| ISBN13 | 9780199232888 |
| 出版商 | Oxford University Press, USA |
| 页数 | 400 |
| 商品尺寸 | 150 × 220 × 20 mm · 1,23 kg |
| 语言 | 英语 |
