-
中文图书1.旅游英语:游英美带这本就够了 H31/404
馆藏复本:2
可借复本:2 林杰, (美) 保罗·杰克逊著
上海世界图书出版公司 2011
(0) 馆藏 -
西文图书2.Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scot TP18-53/TPH
馆藏复本:1
可借复本:1 Richard J. Boulton, Paul B. Jackson (eds.).
Springer, c2001.
(0) 馆藏