The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996

スポンサーリンク

概要

• 論文の詳細を見る
• 科学基礎論学会の論文
• 1997-03-05

著者

• KAKUDA Yuzuru

  Department of Computer and Systems Engineering Kobe University

• Kakuda Yuzuru

  Department Of Computer And Sytem Engineering Faculty Of Engineering Kobe University

• Motohashi Nobuyoshi

  Institute Of Mathematics Tsukuba University

• NAMBA Kanji

  Graduate School of Mathematical Sciences, University of Tokyo

• Namba Kanji

  Graduate School Of Mathematical Sciences University Of Tokyo

関連論文

• Hyperformulas and Classifications
• Abstract Design Theory
• The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996
• Existence and Consistence
• An axiomatization theorem
• A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
• Information Flow and Design Systems

スポンサーリンク