ごく一部で話題になっていた新刊本です。本日買ってきました。210ページのソフトカバー本なんですが、古典論理の自然演繹と列計算（LK）、完全性定理と不完全性定理、さらにはLKのカット除去、また直観主義およびクリプキモデル、さらには中間論理の話題まで…

今日もよく晴れる。家で書類整理、昔のいらない論文コピーの山を処分する。また、某書類の再推敲。 夕方、Cと三宮に出かけ、「ボルカノ」でメランザーネを食べ、「アンテノール」でレモンタルトを食べる。