- 65 名前：デフォルトの名無しさん mailto:sage [2011/07/14(木) 01:14:11.89 ]
- 流石に直感主義論理とNDの初歩ぐらい知っておかないとこの問題を自力で解くのは難しいかもしれない
とはいうものの簡単な数理論理学の教科書一冊読めばそれぐらいの力付くと思うけどね
独学なら
Coq'Art
www.labri.fr/perso/casteran/CoqArt/index.html
Software Foundations
www.cis.upenn.edu/~bcpierce/sf/toc.html
cpdt
adam.chlipala.net/cpdt/
あたりがおすすめ
Coq'Art買えないというならSoftware Foundationsからかな
coq'artも課題の答えが著者のサイトで見れるから独学には向いてると思う
