本文へのリンクあり 2016年 Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs in RIMS Kokyuroku ダウンロード 回数 : 199 Keita Yokoyama エクスポート BibTeX RIS