大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Troelstra 的图书(共1本)

Choice sequences : a chapter of intuitionistic mathematics

0
索取号:O141/E806
作者:Troelstra、 A. S. (Anne Sjerp)、
出版社:Oxford [Eng.] : Clarendon Press, 1977.