形式意味論の学習の助けになりそうなサイトをリストアップしました。
□Stanford Encyclopedia of Philosophy
スタンフォード大学が編纂している哲学系概念の解説サイトで、論理学や言語学の意味論まで多様なトピックについて詳述している。内容は百科事典と言うより、一つ一つの項目の解説が一本の論文に相当する長さと高度な内容を含むので、真剣に読み込む姿勢が必要である。執筆者は著名な研究者が世界中から集められている。
本書でも参考とした論理学の参考書の著者Harry Genslerのホームページであり、三段論法から義務論理まで多様な論理学のフィールドをPC条で演習できるソフトウェア、LogiColaの最新版（興味がある読者は倫理学のソフトEthiColaもあるが、著者たちは未使用のため評価できない）がダウンロードできる。その他興味深い論文、解説、エクササイズを含んでいるので一度参照されたい。
形式意味論から論理学まで長年にわたり精力的な研究を続けるニューヨーク大学のChris Barkerのホームページで、有益な論文（のプリプリント）が読めるほか、Lambda tutorialのページがあってオンラインでラムダ計算の基本が学べるようになっている。
テルアビブでやはり長年にわたり重要な著作を発表し続けるFred Landmanのホームページで、オンラインで形式意味論に関する論文や授業用の詳しい解説が読めて、大変参考になると思う。
第9章でおすすめ本として挙げた Blackburn らの Learn Prolog Now! がオンラインで学べる。必要な SWI-Prolog の入手先はこちら。