题名:
数理逻辑及其应用
/ 朱保平编 ,
ISBN:
7-81013-749-2 价格： CNY12.50
语种:
chi
载体形态:
131页 26cm
出版发行:
出版地： 北京 出版社：
北京理工大学出版社
出版日期： 1998
内容提要:
本书介绍了命题演算及非标准逻辑，包括命题、联结词、推理形式、模态逻辑和多值逻辑；不介绍了谓词演算及其应用。
主题词:
数理逻辑
中图分类法:
O141 版次： 3
主要责任者:
朱保平
编
索书号:
8