题名:
数理逻辑
shu li luo ji / 莫绍揆等著 ,
ISBN:
价格： CNY1.60
语种:
chi
载体形态:
250页 20cm
出版发行:
出版地： 北京 出版社：
高等教育出版社
出版日期： 1984
内容提要:
命题演算,谓词演算,递归函数等.
主题词:
数理逻辑
应用
中图分类法:
O141 版次： 4
主要责任者:
莫绍揆
mo shao kui 著
附注:
计算机类专业适用
索书号:
O141/4017