机读格式显示(MARC)
- 000 00822nam0 2200253 450
- 010 __ |a 978-7-310-05351-3 |d CNY48.00
- 100 __ |a 20171113d2017 em y0chiy50 ea
- 200 1_ |a 实验逻辑学 |9 shi yan luo ji xue |b 专著 |f 李娜编著
- 210 __ |a 天津 |c 南开大学出版社 |d 2017
- 215 __ |a 378页 |c 图 |d 23cm
- 330 __ |a 本书共分十六章,内容包括:Fitch 3.2简介、Boole 3.1简介、原子语句、原子语句的逻辑、布尔联结词、布尔联结词逻辑、布尔逻辑的证明方法、形式证明和布尔逻辑等。
- 606 0_ |a 实验逻辑 |9 Shi Yan Luo Ji |j 教材
- 701 _0 |a 李娜 |9 li na |4 编著
- 801 _0 |a CN |b ZPHC |c 20180423
- 905 __ |a ZPHC |d B81-06/2