FOREVER UNDECIDED

川辺本、読了。
とても読みやすくて、初心者にも分かりやすかったです。
自分はブール代数に馴染みがなかったので、本当に代数でやってしまうあたり、ちょっと感銘を受けました。
（x ⊃ y = xy + x + 1 とか xx = x とか）

で、次はコレ。しかし、いくらなんでも様相“理論”は無いだろうと思うのですが、なぜ？

スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論