题名:
数理逻辑实验教程   / 李娜编著 ,
ISBN:
978 7 307 07991 5 价格:
出版发行:
出版地: 出版社: 武汉大学出版社 出版日期: 2010.1
内容提要:
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用,简单命题、复合命题、命题逻辑,量词的引入和量词的逻辑介绍。适合相关专业学生使用。 
主题词:
数理科学和化学>数学>数理逻辑、数学基础>数理逻辑(符号逻辑)  
中图分类法:
O141 版次: