１月14日・21日 古典論理の完全性定理 エクストラ授業：ゲーデルの不完全性定理（１コマ〜２コマ）：今回は、授業としてではなく、CAPEセミナーとして、一般向け公開講座という形で行うこととなりました。前期の補講と同じく、本授業受講者の都合の良い日に…

本日は、古典論理に関する問題演習です。