文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | H31:O141/1 | Computability | Douglas S. Bridges | World Pub. Corp | 1997 |
| 2 | H31:O141/10 | course in mathematical logic | by J. L. Bell and M. Machover | North-Holland Pub. Co | 1977 |
| 3 | H31:O141/11=3 | first course in mathematical modeling | Frank R. Giordano, Maurice D. Weir, Will | China Machine Press | 2003 |
| 4 | H31:O141/12=2 | How to prove it | Daniel J. Velleman著 | 人民邮电出版社 | 2009 |
| 5 | H31:O141/13=2 | Logic for applications | Anil Nerode, Richard A. Shore著 | China Machine Press | 2006 |
| 6 | H31:O141/2 | Mathematical modeling in economics, ecology and the environment | Natali Hritonenko, Yuri Yatsenko | 科学出版社 | 2006 |
| 7 | H31:O141/4 | Model theory | David Marker | 科学出版社 | 2007 |
| 8 | H31:O141/5 | Recursively enumerable sets and degrees | Robert I. Soare | 科学出版社 | 2007 |
| 9 | H31:O141/6 | Mathematical logic | A. H. Lightstone ; edited by H. B. Ender | Plenum Press | c1978 |
| 10 | H31:O141/7 | Topics in mathematical modeling | K.K. Tung | Princeton University Pre | c2007 |