题名	责任者	出版社	索书号
数学模型	陈义华编著	重庆大学出版社	O141.4/7442
数理逻辑基础	胡世华, 陆钟万著	科学出版社	O141/4742