题名:
数理逻辑基础
/ 陈莫泽, 余俊伟著 ,
ISBN:
7-300-04942-7 价格： CNY19.00
语种:
chi
载体形态:
244页 23cm
出版发行:
出版地： 北京 出版社：
中国人民大学出版社
出版日期： 2003
主题词:
数理逻辑
高等学校
中图分类法:
O141 版次： 4
其它题名:
一阶逻辑与一阶理论
主要责任者:
陈莫泽
著
主要责任者:
余俊伟
著
附注:
其他题名：一阶逻辑与一阶理论