■

新年明けましておめでとうございます！
新年第一回目は、古典論理での証明に関する問題演習とします。問題は当日配布します。