訂正日: 2006/10/20訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) G. Takeuti, Proof theory, North-Holland Publishing Co., Amsterdam, 1975. 2) G. Takeuti and M. Yasugi, Fundamental sequences of ordinal diagrams, Comment. Math. Univ. St. Paul., 25 (1976), 1-80.
Right : [1] G. Takeuti, Proof theory, North-Holland Publishing Co., Amsterdam, 1975. [2] G. Takeuti and M. Yasugi, Fundamental sequences of ordinal diagrams, Comment. Math. Univ. St. Paul., 25 (1976), 1-80.