妙思文献管理集成系统WWW检索

序号	索取号	正题名	责任者	出版者	出版日期
1	H31:B81/2	Language, proof, and logic	Jon Barwise & John Etchemendy ; in colla	CSLI Publications	c2002