ISBN/价格: | 978-7-03-038928-2:CNY88.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 论联合演算/.马雷著 |
出版发行项: | 北京:,科学出版社:,2013.10 |
载体形态项: | 314页:;+图:;+24cm |
提要文摘: | 本书系统研究和发展了联合演算的理论与方法, 废弃了联合演算的原初判定标准, 提出解决判定问题的结构判定法和范式判定法等。 |
题名主题: | 逻辑哲学 研究 |
中图分类: | B81-05 |
个人名称等同: | 马雷, 著 |
记录来源: | CN LCTBU 20140311 |