请输入要查询的图书:
ISBN: 9787030115799
作者: 王国俊
出版社: 科学出版社
出版年: 2003-1
页数: 216
定价: 29.00元
《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论;命题演算与一阶谓词演算理论;归结原理理论以及多值逻辑演算理论等内容。