图书详情
书名: 数理逻辑引论与归结原理
ISBN: 7-03-011579-1
作 者: 王国俊著
出版社: 科学出版社
出版日期: 2003
简 介
本书讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。
书名: 数理逻辑引论与归结原理
ISBN: 7-03-011579-1
作 者: 王国俊著
出版社: 科学出版社
出版日期: 2003