|
题名:
|
现代形式逻辑入门
/
王寅著
,
|
|
ISBN:
|
978-7-5689-3626-2
价格：
CNY79.00
|
|
语种:
|
chi
|
|
载体形态:
|
13, 253页
图
24cm
|
|
出版发行:
|
出版地：
重庆
出版社：
重庆大学出版社
出版日期：
2023
|
|
内容提要:
|
本书共十二章, 内容包括: 经典形式逻辑简介、、现代形式逻辑简介、谓词演算、命题演算、内涵逻辑、狭义模态逻辑、模态命题演算VS模态谓词演算、现代形式逻辑的利与弊等。
|
|
主题词:
|
形式逻辑
|
|
中图分类法:
|
B812
版次：
5
|
|
主要责任者:
|
王寅
著
|
|
索书号:
|
B812/1030
|