CAPE主催公開セミナー「論理学上級I：古典論理の推件計算と計算的内実」 講師: 矢田部俊介 日時: 3月14日（土）10:30-17:00、15日（日）10:30-17:00 場所: 京都大学文学部第6講義室 古典論理は、直観主義論理と比べ、モデルは単純であるものの、証明体系は複雑であり、その意味を与えることは難しい、そのため、本コースで…