题名	责任者	出版社	索书号
数理逻辑引论	王宪钧著	北京大学出版社	O141/W382
逻辑与演绎科学方法论导论	(美)塔尔斯基(A.Tarski)著	商务印书馆	O141/T008