登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Computability and logic = 可计算性与数理逻辑
出版社：Beijing : Pub. House of Electronic Industry, 2003.
ISBN：7505388282 ： Y38.00
出版年：2003
作者：Boolos,George.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computability and logic = 可计算性与数理逻辑
  • 作者：Boolos,George.
  • ISBN：7505388282 ：
  • 出版社：Beijing : Pub. House of Electronic Industry, 2003.
  • 出版年：2003
...

A mathematical introduction to logic = 数理逻辑
  • 作者：Enderton,Herbert B.
  • ISBN：7115141452
  • 出版社：北京 : Posts & Telecom Press, 2006.
  • 出版年：2006
...

数理逻辑
  • 作者：刑滔滔
  • ISBN：9787301112557
  • 出版社：北京大学出版社
  • 出版年：2008
...

数理逻辑
  • 作者：汉密尔顿
  • 出版社：中国标准出版社,人民教育出版社,国防科技大学出版社,华东师范大学出版社,高等教育出版社
  • 出版年：1986
...

数理逻辑
  • 作者：陈磊
  • ISBN：7115143110
  • 出版社：人民邮电出版社
  • 出版年：2007
...

数理逻辑
  • 作者：王兵山
  • ISBN：7810242768
  • 出版社：国防科技大学出版社
  • 出版年：1993