|
题名:
|
论联合演算
/
马雷著
,
|
|
ISBN:
|
978-7-03-038928-2
价格：
CNY88.00
|
|
语种:
|
chi
|
|
载体形态:
|
314页
图
24cm
|
|
出版发行:
|
出版地：
北京
出版社：
科学出版社
出版日期：
2013
|
|
内容提要:
|
本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在有穷步骤内解决一联合演算的判定问题。
|
|
主题词:
|
逻辑哲学
|
|
中图分类法:
|
B81-05
版次：
5
|
|
主要责任者:
|
马雷
著
|
|
索书号:
|
0
|