机读格式显示(MARC)
- 000 00980nam0 2200253 450
- 010 __ |a 978-7-310-06014-6 |d CNY58.00
- 100 __ |a 20210401d2021 em y0chiy50 ea
- 200 1_ |a 实验逻辑学 |A shi yan luo ji xue |f 李娜编著
- 210 __ |a 天津 |c 南开大学出版社 |d 2021
- 215 __ |a 478页 |c 图 |d 21cm
- 330 __ |a 全书共分为两编十六章:第一编“LPL(语言、证明和逻辑)软件介绍”分三章,主要介绍了本书所用到的软件——“塔斯基世界”;第二编“实验逻辑学”包括四至十六章,分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
- 606 0_ |a 实验逻辑 |A Shi Yan Luo Ji |x 高等学校 |j 教材
- 701 _0 |a 李娜 |A li na |4 编著
- 801 _0 |a CN |b ZPHC |c 20210402
- 905 __ |a ZPHC |d B81-06/8