A constructive completion of the space D(R)

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 2002-05-17

著者

• Yoshida Satoru

  School Of Information Science Japan Advanced Institute Of Science And Technology

• Yoshida Satoru

  School Of Information Science Japan Advanced Institute Of Science And Tchnology

関連論文

• A constructive completion of the space D(R)
• A note on nondiscontinuity in constructive mathematics
• A constructive look at Weierstrass' theorem
• A constructive meaning for convergence and the cauchyness of sequences of the space D(R)
• A note on sequent systems of provability logic

スポンサーリンク