「部分関数を関数記号の解釈とする (広義の) 構造」の意味論，証明体系，完全性定理
「部分関数を関数記号の解釈とする (広義の) 構造」の意味論，証明体系，完全性定理
复制标题
“部分函数被解释为函数符号的（广义）结构”的语义、证明系统和完备性定理
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
柳下浩紀
中科院分区：
文献类型：
--
作者：
Kenji Yajima;Kenji Yajima;谷島 賢二;Yagisita Hiroki;柳下浩紀
