编辑配置文件（在新选项卡中打开） 斯特夫·波斯塔（Stef W.Postma）。 作者ID： postma.stef-w公司 发布日期： 斯特夫·波斯塔（Stef W.Postma）。 已编制索引的文档： 1出版物自1991年起 合著者 1 单作者的 系列 1 Quaestions数学 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物