编辑配置文件（在新选项卡中打开） 马丁·莫纳思 合著者距离 作者ID： 莫纳斯·马丁 发布日期： 马丁·莫纳思 已编制索引的文档： 3出版物自2018年起 合著者： 2合著者具有2联合出版物 177位合作作者 合著者 1 单作者的 2 克劳斯Ambos-Spies 2 罗德尼·格雷厄姆·唐尼 系列 1 符号逻辑杂志 1 可计算性 领域 三 数学逻辑和基础（03-XX） 按年份列出的出版物