多值逻辑 Lukasiewicz-T arski 系统的函数保核完备性

Mingsheng Ying
一月 1989
引用
类型
期刊文章
出版物
计算机学报