本橋 信義 | 筑波大学数学系

スポンサーリンク

概要

• 本橋 信義の詳細を見る
• 同名の論文著者
• 筑波大学数学系の論文著者

関連著者

• 本橋 信義

  筑波大学数学系

• 白井 古希男

  静岡大学理学部

著作論文

• 証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)
• 論理教育試論 : カントールの定理を巡って
• 等値命題について
• 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代数値の解析学と超準解析)
• 一意性条件の存在条件による近似理論 (数学基礎論)
• 真概念の数学的定義とモデルの理論

スポンサーリンク