超直観主義述語論理における Prenex normal form theorem に関する覚書
超直観主義述語論理における Prenex normal form theorem に関する覚書
复制标题
超直观谓词逻辑中的 Prenex 范式定理备忘录
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
鈴木 信行
中科院分区：
文献类型：
--
作者：
Kojima Fuhito;Sun Ning;Yu Ning Neil;清水崇;西平等;Yumi NAKAYAMA;滝澤三郎;小川浩之;西田充;鈴木 信行
登录
查看更多内容
DOI：
--
发表时间：
1978
期刊：
影响因子：
--
作者：
H. Friedman
通讯作者：
H. Friedman
分析中的波动、有效学习性和亚稳态
DOI：
10.1016/j.apal.2013.07.014
发表时间：
2014
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Kohlenbach;Safarik
通讯作者：
Safarik
双否定移位弱片段之间的相互关系及相关原理
DOI：
10.1017/jsl.2017.63
发表时间：
2018
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
M. Fujiwara;U. Kohlenbach
通讯作者：
U. Kohlenbach
DOI：
--
发表时间：
2004
期刊：
Proceedings of 19^<th> annual IEEE symposium on logic in computer science
影响因子：
--
作者：
Y.Akama;S.Berardi;U.Kohlenbach;S.Hayashi
通讯作者：
S.Hayashi
数学中的建构主义：简介
DOI：
--
发表时间：
1988
期刊：
影响因子：
--
作者：
A. Troelstra;D. Dalen;A. Heyting
通讯作者：
A. Heyting