論理学上級番外編：完全性定理／カリー・ハワード対応 講師：矢田部俊介 日時：２０１７年２月１８日（日）１０時３０分〜１７時半 場所：文学部第５講義室 テーマ： （10:30-12:00）古典述語論理の完全性定理 （13:00-15:00）カリー・ハワード対応：証明と…