编辑配置文件(在新选项卡中打开) 乔尔·弗里德曼。 合著者距离 作者ID: 弗里德曼-乔伊 发布日期: 乔尔·弗里德曼。;乔尔·弗里德曼;J.I.弗里德曼。 更多。。。较少的 已编制索引的文档: 25出版物自1969年以来,包括13附加arXiv预打印 1进一步贡献 合著者: 2合著者具有1联合出版物 6位合作作者 全部的 前5名合著者 11 单作者的 三 尼古拉斯·福林斯比 1 埃弗特·威廉·贝思 1 丹尼尔·卡森(Daniel F.Carson)。 1 戴维斯,马丁·戴维 1 达维多夫,G.V。 1 布拉德福德·邓纳姆 1 弗里德沙尔,R。 1 赫伯特·L·盖伦特。 1 保罗·C·吉尔摩。 1 丽莎·古斯塔夫森 1 艾丽斯·伊泽克 1 斯蒂格·康格 1 戴维·伊曼纽尔·科勒 1 乔治·洛格曼 1 唐纳德·洛夫兰。 1 S.Yu,马斯洛夫。 1 伯纳德·梅尔泽 1 格里戈里·埃弗罗伊莫维奇造币厂 1 艾伦·纽厄尔 1 北,J.H。 1 奥列夫科夫(V.P.Orevkov)。 1 彼得·帕帕斯 1 达格·普拉维茨 1 哈坎Prawitz 1 多龙·普德 1 希拉里·怀特霍尔·普特南 1 亚伯拉罕·鲁滨逊 1 乔治·罗宾逊。 1 罗宾逊,约翰·艾伦 1 尼古拉·沙宁(Nikola Shanin) 1 Jiin-Chang肖 1 谢克曼,Jörg H。 1 利奥尔·西尔伯曼 1 赫伯特·亚历山大·西蒙 1 A.O.斯利森科。 1 斯瓦德,G.L。 1 阿米尔·图图尼 1 北卡罗来纳州沃格拉。 1 王浩 1 沃斯,劳伦斯·托马斯 1 格雷厄姆·怀特森 全部的 前5名系列 2 哲学逻辑杂志 2 合成 1 代数通讯 1 以色列数学杂志 1 符号逻辑杂志 1 数学年刊 1 线性代数及应用 1 组合数学电子杂志 全部的 前5名领域 8 组合数学(05-XX) 8 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 历史和传记(01-XX) 2 代数几何(14-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 群论与推广(20-XX) 2 代数拓扑(55-XX) 1 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用7中的次6文件 引用人▼ 年份▼ 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 斯宾诺莎的《上帝》的结构提出了一些集合理论上的划分定理。 Zbl 0322.02057号 乔尔·弗里德曼 2 1974 模态柏拉图主义:避免对抽象实体进行本体论承诺的简单方法。 Zbl 1080.03001号 乔尔·弗里德曼。 2 2005 普适类具有自旋分裂。 Zbl 0355.02045号 乔尔·弗里德曼 1 1976 适当的类作为扩展集的成员。 Zbl 0174.01703号 J.I.弗里德曼。 1 1969 广义连续体假设等价于广义最大化原理。 Zbl 0215.04902号 乔尔·弗里德曼。 1 1971 模态柏拉图主义:避免对抽象实体进行本体论承诺的简单方法。 Zbl 1080.03001号 乔尔·弗里德曼。 2 2005 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 普适类具有自旋分裂。 Zbl 0355.02045号 乔尔·弗里德曼 1 1976 斯宾诺莎的《上帝》的结构提出了一些集合理论上的划分定理。 Zbl 0322.02057号 乔尔·弗里德曼 2 1974 广义连续体假设等价于广义最大化原理。 Zbl 0215.04902号 弗里德曼,乔尔一世。 1 1971 作为扩展集成员的适当类。 Zbl 0174.01703号 J.I.弗里德曼。 1 1969 所有引用出版物 前5名被引用出版物 5位作者引用 2 乔尔·弗里德曼。 1 戴维斯,马丁·戴维 1 莱克,约翰 1 伊尔卡·尼尼洛托 1 理查德·佩蒂格鲁 2篇连载文章中引用 4 合成 1 符号逻辑综述 在3个字段中引用 6 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 按年份列出的引文