题名	责任者	出版社	索书号
数理逻辑引论	王宪钧著	北京大学出版社	O141/W382
符号逻辑	[美]I、M、科庇著	北京大学出版社	O141/K483