×

安德烈亚斯·费尔斯塔德

作者ID: 费尔斯塔德·安德里亚斯“Fjellstad,Andreas”最近发表的zbMATH文章
发布日期: 安德烈亚斯·费尔斯塔德
已编制索引的文档: 10出版物自2015年起
合著者: 1位合著者具有1联合出版物
12位合著者

合著者

9 单作者的
1 詹·弗雷德里克·奥尔森

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用4031文件 引用人 年份
为后继微积分爱好者提供的非经典优雅。 Zbl 1417.03200号
安德烈亚斯·费尔斯塔德
12
2017
tonk的语义应该是怎样的。 Zbl 1382.03016号
安德烈亚斯·费尔斯塔德
8
2015
朴素的表达方式和及物性的失败。 Zbl 1336.03010号
安德烈亚斯·费尔斯塔德
6
2016
关于“无反作用的真理”中删减证明的注记。 Zbl 1473.03035号
安德烈亚斯·费尔斯塔德
5
2020
\(\omega\)-不一致,没有切割和非标准模型。 Zbl 1422.03122号
安德烈亚斯·费尔斯塔德
4
2016
一阶弱Kleene逻辑的结构证明理论。 Zbl 1486.03048号
安德烈亚斯·费尔斯塔德
2020
强Kleene模型上的元推理。 Zbl 07644281号
安德烈亚斯·费尔斯塔德
1
2022
\(\mathrm{IKT}^\omega\)和\ukasiewicz模型。 Zbl 1529.03170号
安德烈亚斯·费尔斯塔德;詹·弗雷德里克·奥尔森
1
2021
强Kleene模型上的元推理。 Zbl 07644281号
安德烈亚斯·费尔斯塔德
1
2022
\(\mathrm{IKT}^\omega\)和\ukasiewicz模型。 Zbl 1529.03170号
安德烈亚斯·费尔斯塔德;詹·弗雷德里克·奥尔森
1
2021
关于“无反作用的真理”中删减证明的注记。 兹比尔1473.03035
安德烈亚斯·费尔斯塔德
5
2020
一阶弱Kleene逻辑的结构证明理论。 Zbl 1486.03048号
安德烈亚斯·费尔斯塔德
2020
为后继微积分爱好者提供的非经典优雅。 Zbl 1417.03200号
安德烈亚斯·费尔斯塔德
12
2017
朴素的表达方式和及物性的失败。 Zbl 1336.03010号
安德烈亚斯·费尔斯塔德
6
2016
\(\omega\)-不一致,没有切割和非标准模型。 Zbl 1422.03122号
安德烈亚斯·费尔斯塔德
4
2016
tonk的语义应该是怎样的。 Zbl 1382.03016号
安德烈亚斯·费尔斯塔德
8
2015

按年份列出的引文