Notes on the first-order part of Ramsey's theorem for pairs

Notes on the first-order part of Ramsey's theorem for pairs
复制标题

关于拉姆齐对定理一阶部分的注释

DOI:
--
复制
发表时间:
--
期刊:
RIMS Kokyuroku:Proof Theory and Complexity 2012 (Toshio Szuki(eds.))
影响因子:
--
通讯作者:
Keita Yokoyama
Keita Yokoyama
中科院分区:
--
文献类型:
--
作者:
Inoue T;Kudoh S;Uchida M;Tanabe Y;Inoue M;Kanda H;Keita Yokoyama

文献摘要

相似文献