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