机读格式显示(MARC)

• 000 00868nam0 2200229 450

• 001 0000359635

• 005 20241127135900.0

• 010 __ |a 978-7-310-06432-8 |d CNY46.00

• 100 __ |a 20230718d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 120000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 简明实验逻辑学 |A jian ming shi yan luo ji xue |b 专著 |f 李娜编著

• 210 __ |a 天津 |c 南开大学出版社 |d 2023

• 215 __ |a 301页 |c 图 |d 23cm

• 330 __ |a 本书共16章，内容包括：Tarski's World 7.2简介、Fitch 3.7简介、Boole 4.2简介、原子语句、原子语句的逻辑、布尔联结词、布尔联结词逻辑、布尔逻辑的证明规则、布尔逻辑的证明方法、蕴涵、蕴涵的逻辑、量词、量词的逻辑、多重量词、量词的证明方法、量词的证明规则。

• 606 0_ |a 实验逻辑 |A Shi Yan Luo Ji

• 690 __ |a B81-06 |v 5

• 701 _0 |a 李娜 |A li na |f (1958.3-) |4 编著

• 801 _0 |a CN |b GDPTC |c 20241122

• 905 __ |a GDPTC |d B81-06/18