- 197 名前：１３２人目の素数さん mailto:sage [05/02/08 18:27:18 ]
- 竹内さんのってGTMのProof Theoryのこと？
それとも証明論入門の事？
あまり知らないのだけど、一応レスしとくと
前者の事を言っているのなら、後者がより易しい。
で、後者でも難しすぎるなら、最近書かれた
松本先生ので勉強するのが一番賢いと思うけど、
他には『数学基礎論入門』とかか。あと、
"Basic proof theory" by A.S. Troelstra & H. Schwichtenberg
なんてのもあるようです。Smullyanの"First-Order Logic"にも
カット除去定理の証明はあったような感じです。
まあ自分で現物を見て判断してください。
