"Methods of Logic"を読む

プログラム検証論を読むにつれ、記号論理に習熟しないと駄目だと感じた。基礎訓練が足りていない感じ。そこで、W.V.Quineの、

Methods of Logic

を読むというか基礎訓練の第一歩とすることにした。

こつこつ、スキルを上げていきたい。