Boolean-valued model of set theory
Boolean-valued model of set theory
复制标题
集合论的布尔值模型
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Shizuo Kamo
中科院分区：
文献类型：
--
作者：
細野雄三;李聖林;村田宙俊;細野雄三;Y. Hosono;Y. Hosono;Y. Tsujii;稲葉寿編著;稲葉寿;稲葉寿編著;Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Shizuo Kamo(with Noboru Osuga);Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Shizuo Karno;Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Masahiro Shioya;Shizuo Kamo(with Noboru Osuga);Masahiro Shioya;Masahiro Shioya;塩谷 真弘;Masahiro Shioya;Yoshihiro Abe;Yoshihiro Abe;Masahiro Shioya;阿部 吉弘;Yoshihiro Abe;Sakae Fuchino;Masahiro Shioya;塩谷 真弘;Masahiro Shioya;加茂 静夫;Shizuo Kamo;加茂 静夫;渕野 昌;Shizuo Kamo
登录
查看更多内容
克莱恩方法在直觉系统中的一些应用
DOI：
10.1007/bfb0066773
发表时间：
1973
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
H. Friedman
通讯作者：
H. Friedman
可实现性代数 II：ZF DC 的新模型
DOI：
10.2168/lmcs-8(1:10)2012
发表时间：
2010
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
J. Krivine
通讯作者：
J. Krivine
经典逻辑的可实现性
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
J. Krivine
通讯作者：
J. Krivine
DOI：
10.1016/s0049-237x(09)70162-4
发表时间：
1985
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
A. Scedrov
通讯作者：
A. Scedrov
克里文从绝对角度看经典的可实现性
影响因子：
0.5
作者：
T. Streicher
通讯作者：
T. Streicher