书目信息 机读格式(MARC)
简明实验逻辑学
| ISBN/价格： | 978-7-310-06432-8:CNY46.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 120000 |
| 题名责任者项： | 简明实验逻辑学/.李娜编著 |
| 出版发行项： | 天津:,南开大学出版社:,2023.04（2023.09重印） |
| 载体形态项： | 301页:;+图:;+23cm |
| 提要文摘： | 本书共16章，内容包括：Tarski's World 7.2简介、Fitch 3.7简介、Boole 4.2简介、原子语句、原子语句的逻辑、布尔联结词、布尔联结词逻辑、布尔逻辑的证明规则、布尔逻辑的证明方法、蕴涵、蕴涵的逻辑、量词、量词的逻辑、多重量词、量词的证明方法、量词的证明规则。 |
| 题名主题： | 实验逻辑 |
| 中图分类： | B81-06 |
| 个人名称等同： | 李娜 编著 |
| 记录来源： | CN 北京思得乐 20240407 |