Quine's Fluted Fragment is Non-Elementary
Quine's Fluted Fragment is Non-Elementary
复制标题
蒯因的凹槽片段是非初级的
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Pratt-Hartmann I
中科院分区：
文献类型：
--
作者：
Pratt-Hartmann I
登录
查看更多内容
型材
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
C. Stewart‐Amidei
通讯作者：
C. Stewart‐Amidei
凹槽公式和可判定性的限制
影响因子：
0.6
作者：
W. C. Purdy
通讯作者：
W. C. Purdy
DOI：
10.1142/9789812776471_0018
发表时间：
2001
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
C. Lutz;U. Sattler
通讯作者：
U. Sattler
决策的局限性
影响因子：
1.5
作者：
John M. Hems
通讯作者：
John M. Hems
凹槽逻辑的复杂性和精细性
影响因子：
0.7
作者：
W. C. Purdy
通讯作者：
W. C. Purdy