むらっちさんのページ

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

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