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

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

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

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