大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Troelstra 的图书(共1本)
 |
Choice sequences : a chapter of intuitionistic mathematics0索取号：O141/E806 作者：Troelstra、 A. S. (Anne Sjerp)、 出版社：Oxford [Eng.] : Clarendon Press, 1977. |
最近添加的分类
粤公网安备 44030602003680号