MARC状态：订购 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 实验逻辑学/李娜编著
- 版本说明:
- 3版
- 出版发行项:
- 天津:南开大学出版社,2024.12
- ISBN及定价:
- 978-7-310-06628-5/CNY68.00
- 载体形态项:
- 309页:图;24cm
- 个人责任者:
- 李娜 编著
- 学科主题:
- 实验逻辑-高等学校-教材
- 中图法分类号:
- B81-06
- 责任者附注:
- 李娜，女，南开大学哲学院教授，博士生导师。1983年起在河南大学政治系工作，1994年至2000年任河南大学政治系副教授，2000年任教授。2002年1月调入南开大学哲学系工作，一直从事现代逻辑的教学与研究。曾著有《数理逻辑的思想与方法》《集合论含有原子的自然模型和布尔值模型》《公理化集合论》等。
- 提要文摘附注:
- 本书共分两编：LPL软件简介；实验逻辑学。主要内容包括：Tarski's World 7.2简介；Fitch 3.7简介；Boole 4.2简介；原子语句；原子语句的逻辑；布尔联结词；布尔联结词的逻辑；布尔逻辑的证明方法(一)等。
- 使用对象附注:
- 高校实验逻辑专业师生
全部MARC细节信息>>