学位論文要旨
No
100984
著者（漢字）
千谷,慧子
著者（英字）
著者（カナ）
チタニ,サトコ
標題（和）
三段論法除去定理の代数的表示
標題（洋）
algebraic formulation of cut-elimination theorem
報告番号
100984
報告番号
甲00984
学位授与日
1965.03.15
学位種別
課程博士
学位種類
理学博士
学位記番号
博数物第289号
研究科
数物系研究科
専攻
数学専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク