『形式論理探求 第1巻 古典論理のタブロー』著者 高木翼氏のwebサイトOPEN

『形式論理探求 第1巻 古典論理のタブロー』の著者、高木翼氏がwebサイトを開設されました。

高木翼氏 webサイト

https://tt-logic.github.io/

論理学に関しては『形式論理探求 第1巻 古典論理のタブロー』のweb版と言えるものが掲載されています。スマホ等でも読みやすく、古典論理初学者にとって大変便利なサイトです。

現在(2019年8月23日)、Prologの解説記事も執筆中のようです。

高木氏のwebサイト、ぜひご覧ください。