登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

数理逻辑 : 基本原理与形式演算|2版
PISBN：9787030401557
出版类型：专著
出版时间：2014-03-01
版次：1
作者：李未著
学科：数学
语种：中文
所属数据库：科学文库
丛书题名：信息科学与技术基础丛书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

数理逻辑 : 基本原理与形式演算
  • 作者：李未著
  • PISBN：9787030200969
  • 出版时间：2008-11-01
...

数理逻辑引论与归结原理|2版
  • 作者：Guo-Jun Wang,Hong-Jun Zhou著
  • PISBN：9787030228994
  • 出版时间：2009-04-01
...

数理逻辑引论与归结原理|2版
  • 作者：王国俊著
  • PISBN：7030165837
  • 出版时间：2006-03-01
...

数理逻辑
  • PISBN：0387908951
...

非经典数理逻辑与近似推理|2版
  • 作者：王国俊著
  • PISBN：9787030212955
  • 出版时间：2008-05-01
...

数理逻辑引论与归结原理
  • 作者：王国俊著
  • PISBN：7030115791
  • 出版时间：2003-09-01