【検証論】3 形式的理論

プログラム検証論、すごい。。。
この3章 形式的理論ほど、慈愛に満ちて、簡にして要を得た
形式的理論の導入をみたことがない。

昔の自分はそれがわからなかった。今はわかる。