Recursion theory over intuitionistic logic, Mathematical Logic and Constructivity
Recursion theory over intuitionistic logic, Mathematical Logic and Constructivity
复制标题
直觉逻辑、数理逻辑和构造性的递归理论
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Takako Nemoto
中科院分区：
文献类型：
--
作者：
伊藤弘道;Takako Nemoto
登录
查看更多内容
直觉主义连续体的经典观点
DOI：
10.1016/0168-0072(95)00050-x
发表时间：
1996
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
J. Moschovakis
通讯作者：
J. Moschovakis
A. Heyting 的科学工作
影响因子：
1.8
作者：
A. Troelstra
通讯作者：
A. Troelstra
集合论、算术和数学基础：20 世纪建构主义史
DOI：
10.1017/cbo9780511910616.009
发表时间：
2011
期刊：
--
影响因子：
--
作者：
A. Troelstra
通讯作者：
A. Troelstra
DOI：
--
发表时间：
2020
期刊：
Wittgenstein on Mathematics
影响因子：
--
作者：
Michael Byrd
通讯作者：
Michael Byrd
（弱）范定理的等价物
DOI：
10.1016/j.apal.2004.07.002
发表时间：
2005
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
I. Loeb
通讯作者：
I. Loeb