2007-02-07 「自己言及の論理と計算」(長谷川真人) 計算機科学 論文 読了 ヒビルテ経由、集中講義での講義ノート。原稿はこちら。とてもわかりやすいです。発表のための再確認のために最適。 ここのお薦め通り、次はこれでも読もう。