KOARA（リポジトリ）収録論文等

Note on phase semantics for proofs (Preliminary Report)

著者名

：岡田, 光弘

掲載誌名

：誌名心の解明に向けての統合的方法論構築 : 平成15年度成果報告書 出版社慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局 開始ページ26 - 終了ページ36 (出版年（月日）2004年）