前回の授業でお伝えした、授業の補講日が決定いたしました。 時間：２０１５年２月２１日（土）１３時〜１７時半 場所：京都大学文学部 第四講義室 テーマ： （13:00-15:00）古典述語論理とそのモデル 配布資料はこちら （15:30-17:30）不完全性定理のモデル…