An algebraic formulation of cut-elimination theorem
1965 年 17 巻 1 号 p. 72-83
詳細
記事の1ページ目
1965 年 17 巻 1 号 p. 72-83
この記事は最新の被引用情報を取得できません。
Nippon Sugaku-Buturigakkwai Kizi Dai 3 Ki
Tokyo Sugaku-Buturigakkwai Kizi Dai 2 Ki
Tokyo Sugaku-Butsurigakukwai Kiji-Gaiyo
Tokyo Sugaku-Butsurigakkwai Hokoku
