An open logic system admitting modification of inference rules

Mingsheng Ying
一月 1996
引用
类型
期刊文章
出版物
科学通报: 英文版