11
読了した本
0
今年読んだ本
51
読書中の本
2,361
総読書ページ
最近の読書活動
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
読書中
2014/06/09
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
読書中
2014/06/03
プログラム意味論 (情報数学講座)
読書中
2014/05/28
日本の“地霊”(ゲニウス・ロキ) (講談社現代新書)
読書中
2013/11/09
時間と自由 (イデー選書)
読書中
2013/07/20
暇と退屈の倫理学
読了
2013/07/08