夏期補講の時期です。今回は、三回分（第11回、12回、13回）の授業を行います。 授業内容 補講日：8月19日（月） 場所：第9講義室 内容： 10:30-12:00 （第11回）最小述語論理の証明問題・演習 13:30-15:00 （第12回）形式的自然数論Ｑ 授業スライドこちらか…