机读格式显示(MARC)

• 000 01252nam0 2200313 450

• 001 0000379412

• 005 20240822140455.0

• 010 __ |a 978-7-310-06628-5 |d CNY68.00

• 092 __ |a CN |b 人天1166-0073

• 100 __ |a 20250318d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 120000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 实验逻辑学 |b 专著 |f 李娜编著

• 205 __ |a 3版

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

• 215 __ |a 309页 |c 图 |d 24cm

• 314 __ |a 李娜，女，南开大学哲学院教授，博士生导师。1983年起在河南大学政治系工作，1994年至2000年任河南大学政治系副教授，2000年任教授。2002年1月调入南开大学哲学系工作，一直从事现代逻辑的教学与研究。曾著有《数理逻辑的思想与方法》《集合论含有原子的自然模型和布尔值模型》《公理化集合论》等。

• 330 __ |a 本书共分两编：LPL软件简介；实验逻辑学。主要内容包括：Tarski's World 7.2简介；Fitch 3.7简介；Boole 4.2简介；原子语句；原子语句的逻辑；布尔联结词；布尔联结词的逻辑；布尔逻辑的证明方法(一)等。

• 333 __ |a 高校实验逻辑专业师生

• 606 0_ |a 实验逻辑 |x 高等学校 |j 教材

• 690 __ |a B81-06 |v 5

• 701 _0 |a 李娜 |4 编著

• 801 _0 |a CN |b 人天书店 |c 20240829

• 901 __ |a 南开大学出版社

• 902 __ |a Rt1141-1253

• 962 __ |a 82787054 |x f272bdd8b4e42ff98ffa2f360d5044

• 997 __ |a 可供