题名	责任者	出版社	索书号
半符号逻辑:传统逻辑与符号逻辑的桥梁	张霭珠著	复旦大学出版社	O141/4
Mathematical modeling.英文影印版	(美) Mark M. Meerschaert著	机械工业出版社	O141/2