一意性条件の存在条件による近似理論 (数学基礎論)

スポンサーリンク

概要

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

著者

• 本橋 信義

  筑波大学数学系

関連論文

• 証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)
• 論理教育試論 : カントールの定理を巡って
• 等値命題について
• A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)
• Skolem-Mincの定理の一般化について (Boole代数値の解析学と超準解析)
• 一意性条件の存在条件による近似理論 (数学基礎論)
• 真概念の数学的定義とモデルの理論

スポンサーリンク