中图分类法:	O141 版次：
著者:	Wang, Guojun.
题名:	Introduction to mathematical logic and resolution principle = [ 数理逻辑引论与归结原理 /] / ,
其它题名:	数理逻辑引论与归结原理
版次:	2nd ed.
出版发行:	出版地： Beijing : 出版社： Science Press, 出版日期： c2009.
载体形态:	v, 335 p. ; 25 cm.
附注:	Cover title also in Chinese.
主题词:	Logic, Symbolic and mathematical.
主要责任者:	Zhou, Hongjun.