Natural Deduction から Sequent Calculus へ

スポンサーリンク

概要

• 論文の詳細を見る
• 東日本国際大学の論文

著者

• 宮武 徹

  いわき短期大学非常勤

関連論文

• Natural Deduction から Sequent Calculus へ
• 様相論理とカテゴリー
• On the Complexity of ω-consistency of peano Arithmetic

スポンサーリンク