Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA

Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA
复制标题

构造性数学的种类：构造性代数

DOI：
--
复制
发表时间：
1987
期刊：
影响因子：
--
通讯作者：
F. Richman
F. Richman
中科院分区：
--
文献类型：
--
作者：
D. Bridges;F. Richman

文献摘要

被引文献

相似文献

1。建设性数学的基础2。建设性分析3。俄罗斯的建设性数学4。建设性代数5。直觉主义6。对比品种7。直觉逻辑和topos理论索引。
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.