半线性子结构逻辑的标准完备性

半线性子结构逻辑的标准完备性

出版社：科学出版社

ISBN：9787030668769

出版年：2020

作者：王三民

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

不动点逻辑中的模型构造与推演系统的完备性

作者：屈楠
出版社：中国科学院
出版年：2012

模态逻辑的模型构造和完备性证明

作者：李小燕
出版社：中国科学院
出版年：2013

使用标准集成电路的逻辑设计课题

作者：威克莱
出版社：西北电讯工程学院
出版年：1980

建筑形态的结构逻辑

作者：卫大可
ISBN：9787112149728
出版社：中国建筑工业出版社
出版年：2013

2005年MBA联考标准模拟考场, 写作和逻辑

作者：金颐
ISBN：7302092796
出版社：清华大学出版社
出版年：2004

半符号逻辑 :传统逻辑与符号逻辑的桥梁

作者：张霭珠
ISBN：7309042379
出版社：复旦大学出版社
出版年：2004