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