2014年 Brouwer’s Argument for the Bar Induction Revisited to be submitted, 30 pages 秋吉亮太 記述言語 英語 掲載種別 エクスポート BibTeX RIS