Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-04-00

著者

• 横山 啓太

  東京工業大学情報理工学研究科

関連論文

• Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity)

スポンサーリンク