题名	责任者	出版社	索书号
逻辑设计问题详解	( )罗 斯原著	晓园出版社	TP302.2-44/1
数学逻辑学习与解题指南	欧阳星明	华中理工大学出版社	TP302.2/12