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

面向计算机科学的数理逻辑
PISBN：7030060652
出版类型：教育-大学
出版时间：1998-01-01
版次：1
作者：陆钟万著
学科：数学
语种：中文
所属数据库：科学文库
丛书题名：中国科学院研究生教学丛书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

面向计算机科学的数理逻辑|2版
  • 作者：陆钟万著
  • PISBN：7030096576
  • 出版时间：2002-05-01
...

集论与逻辑 : 面向计算机科学
  • 作者：沈恩绍著
  • PISBN：7030110471
  • 出版时间：2003-04-01
...

数理逻辑
  • PISBN：0387908951
...

计算机科学中的逻辑学
  • 作者：王元元编著
  • PISBN：7030010671
  • 出版时间：1989-09-01
...

数理逻辑基础与粒计算
  • 作者：闫林著
  • PISBN：9787030198280
  • 出版时间：2007-08-01
...

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