Varieties of Constructive Mathematics

数理逻辑与数学基础

售   价:
541.00
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
1987年05月07日
装      帧
平装
ISBN
9780521318020
复制
页      码
160
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存127本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
1. The foundations of constructive mathematics; 2. Constructive analysis; 3. Russian constructive mathematics; 4. Constructive algebra; 5. Intuitionism; 6. Contrasting varieties; 7. Intuitionistic logic and topos theory; Index.
馆藏图书馆
Princeton University Library
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个