復刊リクエスト投票

• 数学基礎論講義 不完全性定理とその発展

  【著者】田中 一之, 鹿島 亮, 角田 法也, 菊池 誠,

  現在図書館で借りているが、ゲーデルの第二不完全性定理の証明もきちんとのってるし、ぜひ手元に置いておきたい本なのだが・・・(2003/11/07)

• 証明論入門 〔数学基礎論 改題〕

  【著者】竹内外史・八杉満利子

  哲学を専攻しているものです。現在、シークエント計算を勉強しているのですが、担当教官にも好著と勧められた『証明論入門』をぜひ手元に置きたいと思い、希望しました。(2003/06/19)