- 题名/责任者:
- 实验逻辑学/李娜编著
- 出版发行项:
- 天津:南开大学出版社,2017
- ISBN及定价:
- 978-7-310-05351-3/CNY48.00
- 载体形态项:
- 378页:图;23cm
- 个人责任者:
- 李娜 编著
- 学科主题:
- 实验逻辑-高等学校-教材
- 中图法分类号:
- B81-06
- 一般附注:
- 南开大学立项规划教材
- 提要文摘附注:
- 本书共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
- 随书光盘:
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| B81-06/8 | 01220444 |  西区3层
|
可借 | |
| B81-06/8 | 01220443 | 东3层1区
|
可借 |
显示全部馆藏信息