显示 10 5 10 15 20 50 100 250 排序依据 年(从新到旧) 行动 下载搜索结果 订阅新闻源 您的筛选器: cql:父确切的“纯逻辑和应用逻辑年鉴” 添加到列表 期刊文章 Bachmann-Howard序数的基本序列和快速增长的层次结构 大卫·费尔南德斯·杜克和安德烈亚斯·魏尔曼(根特大学) (2024)纯逻辑与应用逻辑年鉴. 添加到列表 期刊文章 A1类 开放存取 哥德尔逻辑的Löwenheim-Skolem定理 J.P.阿奎莱拉(根特大学) (2023)纯逻辑和应用逻辑年鉴. 174(4). 添加到列表 期刊文章 A1类 公理的数量 J.P.阿奎莱拉(根特大学),巴兹先生和J.比季奥夫斯克 (2022)纯逻辑和应用逻辑年鉴. 173(5). 添加到列表 期刊文章 A1类 确定性逻辑与选择公理 J.P.阿奎莱拉(根特大学) (2020)纯逻辑和应用逻辑年鉴. 171(2). 添加到列表 期刊文章 A1类 开放存取 超限可证明逻辑的欧米伽规则解释 大卫·费尔南德斯·杜克(根特大学)和乔斯特·J·乔斯顿 (2017)纯逻辑和应用逻辑年鉴. 169(4).第333-371页 添加到列表 期刊文章 A1类 无穷大拉姆西原理的强度可以通过其密度来衡量 安德烈·博维金和安德烈亚斯·魏尔曼(根特大学) (2017)纯逻辑和应用逻辑年鉴. 168(9).第1700-1709页 添加到列表 期刊文章 A1类 开放存取 WKL0与模型理论中的归纳原理 大卫·贝朗格(根特大学) (2015)纯逻辑和应用逻辑年鉴. 166(7-8).第767-799页 添加到列表 期刊文章 A1类 开放存取 普遍性、最优化和随机性缺陷 鲁珀特·霍尔兹尔和保罗·谢弗(根特大学) (2015)纯逻辑和应用逻辑年鉴. 166(10).第1049-1069页 添加到列表 期刊文章 A1类 邻里结构中的证据和合理性 本瑟姆,大卫·费尔南德斯·杜克(根特大学)和埃里克·帕奎特 (2013)纯逻辑和应用逻辑年鉴. 165(1).第106-133页 添加到列表 期刊文章 A1类 双曲线、Veblen级数和序数函数的超限迭代 大卫·费尔南德斯·杜克(根特大学)和乔斯特·J·乔斯顿 (2013)纯逻辑和应用逻辑年鉴. 164(7-8).第785-801页 1 2 三 下一步→