安東 祐希 | 法政大学文学部哲学科

スポンサーリンク

概要

• 安東 祐希の詳細を見る
• 同名の論文著者
• 法政大学文学部哲学科の論文著者

関連著者

• 安東 祐希

  法政大学文学部哲学科

著作論文

• Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation)
• λρ計算における正規化定理の証明

スポンサーリンク