题名	责任者	出版社	索书号
逻辑代数初步与电子计算机简介	张文贵著	人民教育出版社	O14/1
数理逻辑引论	王宪钧著	北大出版社	O141/3