题名:
离散数学
/ 王捍贫编著 ,
ISBN:
7-301-03490-3 价格： ￥15.00
语种:
chi
载体形态:
271页 20cm
出版发行:
出版地： 北京 出版社：
北京大学出版社
出版日期： 1997
内容提要:
本书主要内容有：命题演算、一阶谓词演算、Herbrand定理和直觉主义逻辑。
主题词:
数理逻辑
高等学校
主题词:
离散数学
基础知识
中图分类法:
O158 版次： 3
其它题名:
数理逻辑
主要责任者:
王捍贫
编著
附注:
北京大学计算机科学与技术系教材
索书号:
5