リョウさんの公開ページ 復刊投票コメント一覧

公開ページTOPへ

復刊リクエスト投票

証明論入門 〔数学基礎論 改題〕
専門書
証明論入門 〔数学基礎論 改題〕
竹内外史・八杉満利子
33票
リョウ
リョウ

日本語で読めるcut eliminationは貴重なので。

2002/12/04