| ISBN/价格： | 978-7-5689-3626-2:CNY79.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 500000 |
|---|
| 题名责任者项： | 现代形式逻辑入门/.王寅著 |
|---|
| 出版发行项： | 重庆:,重庆大学出版社:,2023 |
|---|
| 载体形态项： | 13,253页:;+24cm |
|---|
| 提要文摘： | 本书共十二章，内容包括：经典形式逻辑简介、、现代形式逻辑简介、谓词演算、命题演算、内涵逻辑、狭义模态逻辑、模态命题演算VS模态谓词演算等。 |
|---|
| 并列题名： | Introduction to modern formal logic eng |
|---|
| 题名主题： | 形式逻辑 |
|---|
| 中图分类： | B812 |
|---|
| 个人名称等同： | 王寅 著 |
|---|