GLOBAL INTUITIONISTIC LOGIC AND ITS SEMANTIC COMPLETENESS(Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 青山 広

  東海学園女子短期大学英文学科

関連論文

• 短大英文科生による英語学習ソフトウェアの作成
• CGIプログラミングを利用した英語学習ホームページの作成指導
• 女子短大英文学科生による英語学習ソフトウェアの作成
• 真偽判断と確信度
• GLOBAL INTUITIONISTIC LOGIC AND ITS SEMANTIC COMPLETENESS(Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク