位置：成果数据库 > 著作 > 著作详情页
数理逻辑引论与归结原理
  • 所属机构名称：四川大学
  • 成果类型：著作
  • 出版社：科学出版社
  • 相关项目：序、拓扑及形式语义学的数学基础
作者： 王国俊
同著作项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
同项目著作