题名	责任者	出版社	索书号
逻辑与演绎科学方法论导论	(美)塔尔斯基(A.Tarski)著	商务印书馆	O141/T008
符号逻辑	[美]I、M、科庇著	北京大学出版社	O141/K483