『形式論理探求 第2巻』刊行プロジェクト スタート!

『形式論理探求 第2巻 様相論理のタブロー』(仮題)刊行プロジェクトが、高木翼氏の主導によりスタートしました。

第1巻 (2019年5月31日 初版発行) では古典論理のタブローが扱われました。第2巻では様相論理のタブローを扱う予定です。

「論理・タブローブックス」プロジェクト 第2弾!

詳しくはこちら