査読有り 2001年10月 Some remarks on Maehara's method Bulletin of the Section of Logic Takahiro Seki 巻 30 号 3 開始ページ 147 終了ページ 154 記述言語 英語 掲載種別 研究論文(学術雑誌) エクスポート BibTeX RIS