【MoL】別の本にスイッチを検討

AIMAの推薦ということで、Quine の Methods of Logic をやってきたが、どうも私では英語力が足りない感じ。英語の勉強をしている度合いがどんどん高まってしまっている。英語力は英語力で向上したいのだが、この本を使ってそれをというのは本意ではない。

そこで、別の本、ということで、

論理学の基礎と演習 (Language, Proof and Logic)

を試してみている。とりあえず、一章を完了したところではいい感じ。

この本の特色は、

• 演習が豊富。
  
• 演習をしたり論理を試すためのソフトウエアがついていて、遊びながら進める。
  
• 演習問題の約半数はソフトウエアで解くもの。そしてその結果を投稿するとサーバが採点してくれる。
  
• 英文だが本文全てがPDFで提供されている！　
  

というところ。

もう少し試して、いけそうならば、こちらにスイッチする。

こつこつ。