Boldfaced 发表于 2025-3-21 18:28:05

书目名称Advances in Proof Theory影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0149492<br><br>        <br><br>书目名称Advances in Proof Theory读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0149492<br><br>        <br><br>

remission 发表于 2025-3-21 20:20:51

Reinhard Kahle,Thomas Strahm,Thomas StuderThis book contains state-of-the-art contributions to various topics in Proof Theory.The papers range from traditional mathematical proof theory via constructive mathematics to applications in computer

CEDE 发表于 2025-3-22 04:15:09

http://reply.papertrans.cn/15/1495/149492/149492_3.png

GIST 发表于 2025-3-22 05:47:52

https://doi.org/10.1007/978-3-319-29198-7constructive mathematics; ordinal analysis; proof search; proof theory; type theory

Gossamer 发表于 2025-3-22 10:45:30

978-3-319-80513-9Springer International Publishing Switzerland 2016

商店街 发表于 2025-3-22 14:21:23

Optimal Fiber Diffusion Model RestorationVarious ordinal functions which in the past have been used to describe ordinals not much larger than the Bachmann-Howard ordinal are set into relation.

物质 发表于 2025-3-22 19:15:43

Elisenda Bonet-Carne,Jana Hutter,Fan ZhangWe investigate a weakening of the classical theory of Frege structures and extensions thereof which naturally interpret (predicative) theories of explicit types and names à la Jäger.

剧本 发表于 2025-3-22 22:43:46

Lecture Notes in Computer ScienceLet me begin with a few personal words of appreciation, since Gerhard Jäger is one of my most valued friends and long time collaborators.

内向者 发表于 2025-3-23 03:37:59

http://reply.papertrans.cn/15/1495/149492/149492_9.png

装勇敢地做 发表于 2025-3-23 08:44:06

http://reply.papertrans.cn/15/1495/149492/149492_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Advances in Proof Theory; Reinhard Kahle,Thomas Strahm,Thomas Studer Book 2016 Springer International Publishing Switzerland 2016 construc