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

数理逻辑与机器证明
PISBN：7030019199
出版类型：专著
出版时间：1983-11-01
版次：1
作者：陆钟万著
学科：数学
语种：中文
所属数据库：科学文库
丛书题名：计算机科学丛书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

数理逻辑与机器证明
  • 作者：陆钟万
  • PISBN：15031535
  • 出版时间：1983-11-01
...

数理逻辑
  • PISBN：0387908951
...

符号逻辑：语法、语义和证明
  • 作者：（美）安格勒（Agler，D.W.）,陈素艳,张秀蕊
  • PISBN：9787030480392
  • 出版时间：2016-04-01
...

数理逻辑通俗讲话
  • 作者：王浩著
  • PISBN：130311424
  • 出版时间：1981-02-01
...

实物与暗物的数理逻辑
  • 作者：宋文淼，阴和俊，张晓娟著
  • PISBN：7030164229
  • 出版时间：2006-06-01
...

数理逻辑导引
  • 作者：冯琦 编著
  • PISBN：9787030545794
  • 出版时间：2017-09-01