エクストラ補講のご案内 論理学上級番外編：完全性定理と不完全性定理 講師：矢田部俊介 日時：２０１7年３月２５日（土）１０時３０分〜１７時半 場所：京都大学文学部第四講義室第11演習室（総合研究2号館1F南側） テーマ： （10:30-12:00）古典述語論理の…