> > logicはパズル感覚で楽しめると思うんだけどちょっと良い本が思いつかないので探してくる(;´Д`) > 自己レス > 数学のロジックと集合論 田中一之,鈴木登志雄 > 情報科学における論理 小野寛晰 > が良いかも 集合論入門 無限への誘い も 参考:2007/01/10(水)19時27分38秒