- 84 名前：１３２人目の素数さん [2009/06/16(火) 18:53:34 ]
- >>80
Cut除去定理に関しましては、松本和夫先生の「数理論理学」と竹内外史の「証明論入門」なんかに詳しく書いてあったかと思います。
またネット上で配布されているPDFで良ければ、金子洋之先生の
www.isc.senshu-u.ac.jp/~thb0442/winter05.pdf
が詳しいです。LJで書いていますが、LKは場合分けの数を増やせば大丈夫だったかと。
また同じくLJに関しては鹿島亮先生が解説しているPDFもあった様な気がします。
