リョウさんのページ

復刊リクエスト投票

証明論入門 〔数学基礎論 改題〕
専門書
証明論入門 〔数学基礎論 改題〕
竹内外史・八杉満利子
33票
リョウ
リョウ
日本語で読めるcut eliminationは貴重なので。

2002/12/04

リクエスト一覧を見る