发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Notation Systems for Infinitary Derivationsby Wilfried Buchholz;Explaining Gentzen's Consistency Proof within Infinitary Proof Theoryby Wilfried Buchholz;Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinalsby Sergei Tupailo

Notation Systems for Infinitary Derivationsby Wilfried Buchholz;Explaining Gentzen's Consistency Proof within Infinitary Proof Theoryby Wilfried Buchholz;Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinalsby Sergei Tupailo

Review by: Toshiyasu Arai, Toshiyasu Arai and Toshiyasu Arai

期刊名称The Bulletin of Symbolic Logic
作者Review by: Toshiyasu Arai, Toshiyasu Arai and Toshiyasu Arai
卷第8卷
期第3期
印刷ISSN1079-8986
文件大小168.73KB
发表时间2002-09
DOI10.2307/3062216
页码437-439

← 返回【学霸图书馆】主页