西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑引论与归结原理/王国俊著

出版发行项:

北京:科学出版社,2003

ISBN及定价:

7-03-011579-1/CNY29.00

载体形态项:

216页;24cm

丛编项:

现代数学基础丛书;85

个人责任者:

王国俊 (1935~) 著

学科主题:

数理逻辑

学科主题:

归结方法

中图法分类号:

O141

一般附注:

陕西师范大学优秀学术著作基金资助出版

提要文摘附注:

本书讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。

豆瓣简介：