题名	责任者	出版社	索书号
数理逻辑是什么	(英) John N. Crossley等著	中国轻工业出版社	O141-49/464