「数理論理学とラムダ計算の世界」正誤表

PDF版には随時訂正を反映していきます。

• p.23 脚注*81, 「〜のに対し、」→「〜のに対し、一階述語論理では変数の値（つまり付値）を動かしたときに論理式の真偽がどうなるかを考えている。」（Thanks @zha5x9!）

お問い合わせ

その他、内容にご質問等あれば、以下までお問い合わせください。