Two weak versions of existence property in intermediate predicate logics
Two weak versions of existence property in intermediate predicate logics
复制标题
中间谓词逻辑中存在性的两个弱版本
DOI:
--
复制
发表时间:
2014
期刊:
影响因子:
--
通讯作者:
Nobu-Yuki Suzuki
中科院分区:
文献类型:
--
作者:
Y. Nakagami;N.-Y. Suzuki;R. Sekine;T. Matsuura and J. Aihara;鈴木信行;鈴木信行;Nobu-Yuki Suzuki;鈴木信行;Nobu-Yuki Suzuki;鈴木信行;鈴木信行;鈴木信行;Nobu-Yuki Suzuki;Nobu-Yuki Suzuki;Nobu-Yuki Suzuki;鈴木信行;Nobu-Yuki Suzuki;鈴木信行;Nobu-Yuki Suzuki;Nobu-Yuki Suzuki