编辑配置文件(在新选项卡中打开) 蒂姆·兰伯特 合著者距离 作者ID: 兰伯特.timm 发布日期: 蒂姆·兰伯特 已编制索引的文档: 16出版物自2003年以来,包括3个附加arXiv预打印 合著者: 5位合著者具有5联合出版物 41位合作作者 合著者 11 单作者的 2 菲利普·西伯特森 2 Taktikos,迈克尔 1 迈克尔·鲍姆加特纳 1 安德森·中野 1 马库斯·萨贝尔 全部的 前5名系列 2 逻辑历史与哲学 1 逻辑与分析。Nouvelle Série公司 1 合成 1 塞贡达·埃波卡理论 1 IGPL逻辑期刊 1 数学哲学。系列III 1 符号逻辑述评 1 科学观点 全部的 前5名领域 13 数学逻辑和基础(03-XX) 8 历史和传记(01-XX) 2 一般性和全局性主题;集合(00-XX) 1 数论(11-XX) 1 计算机科学(68至XX) 1 光学、电磁理论(78-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用24中的次17文件 引用人▼ 年份▼ 充分的形式化。 Zbl 1169.03308号 迈克尔·鲍姆加特纳;蒂姆·兰伯特 12 2008 最小化纯一阶逻辑的析取范式。 Zbl 1405.03023号 蒂姆·兰伯特 三 2017 维特根斯坦符号:一种标志性的证明过程。 Zbl 1417.03082号 蒂姆·兰伯特 三 2017 维特根斯坦论素数的无穷大。 Zbl 1210.00029号 蒂姆·兰伯特 1 2008 维特根斯坦和哥德尔:试图使“维特根斯坦氏的反对”合理化。 Zbl 1423.03030号 蒂姆·兰伯特 1 2018 可决定性和符号。 Zbl 1508.03019号 蒂姆·兰伯特 1 2020 图标逻辑和理想图表:维特根斯坦方法。 Zbl 1528.03042号 蒂姆·兰伯特 1 2018 牛顿的实验证明。 Zbl 1478.03020号 蒂姆·兰伯特 1 2021 利用超算符确定具有一个二元关系的简单无穷公理集。 Zbl 07614514号 蒂姆·兰伯特;安德森·中野 1 2020 牛顿的实验证明。 Zbl 1478.03020号 蒂姆·兰伯特 1 2021 可决定性和符号。 Zbl 1508.03019号 蒂姆·兰伯特 1 2020 通过超算确定具有一个二元关系的简单无穷大公理集。 Zbl 07614514号 蒂姆·兰伯特;安德森·中野 1 2020 维特根斯坦和哥德尔:试图使“维特根斯坦氏的反对”合理化。 Zbl 1423.03030号 蒂姆·兰伯特 1 2018 图标逻辑和理想图表:维特根斯坦方法。 Zbl 1528.03042号 蒂姆·兰伯特 1 2018 最小化纯一阶逻辑的析取范式。 Zbl 1405.03023号 蒂姆·兰伯特 三 2017 维特根斯坦符号:一种标志性的证明过程。 Zbl 1417.03082号 蒂姆·兰伯特 三 2017 充分的形式化。 Zbl 1169.03308号 迈克尔·鲍姆加特纳;蒂姆·兰伯特 12 2008 维特根斯坦论素数的无穷大。 Zbl 1210.00029号 蒂姆·兰伯特 1 2008 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 4 蒂姆·兰伯特 三 迈克尔·鲍姆加特纳 2 亚历山大·克里斯托弗·帕索 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 乔治·布伦 1 福恩市长,大卫 1 Han、Daesuk 1 安德烈亚·伊科纳 1 安德森·中野 1 雅罗斯拉夫·佩雷格林 1 杰夫·萨特克利夫 1 弗拉迪米尔·斯沃博达 1 伊万·韦尔蒂 1 亚历山德拉·津克 全部的 前5名引用于7个系列 6 合成 2 哲学逻辑杂志 2 逻辑历史与哲学 1 塞贡达·埃波卡理论 1 AI通信 1 埃尔肯特尼斯 1 符号逻辑述评 全部的 前5名在6个字段中引用 14 数学逻辑和基础(03-XX) 4 历史和传记(01-XX) 三 计算机科学(68至XX) 1 一般性和全局性主题;集合(00-XX) 1 实际功能(26年X月X日) 1 光学、电磁理论(78-XX) 按年份列出的引文