復刊リクエスト投票

• 魂の愛

  【著者】サネヤ・ロウマン

  同じ著者の本を何冊か持っていて、どれも非常に良い。原著を読んでも良いが、やはり日本語のほうが楽。(2007/03/18)

• 公理的集合論

  【著者】田中尚夫

  proof assistant を作成する上での参考にしたい。(2005/01/05)