Prenex normal form theoremを超直観主義述語論理で考える
Prenex normal form theoremを超直観主義述語論理で考える
复制标题
使用超直观谓词逻辑思考 prenex 范式定理
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
鈴木 信行
中科院分区：
文献类型：
--
作者：
山口輝臣・福家崇洋編;清水耕介;鈴木 信行
关于莫代尔的 Hallden 完备性的评论
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
A. Wro
通讯作者：
A. Wro
关于带函数符号的直觉逻辑的存在性的注记
DOI：
10.1002/malq.19900360104
发表时间：
1990
期刊：
Math. Log. Q.
影响因子：
--
作者：
L. M. Doorman
通讯作者：
L. M. Doorman