基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」（毎週火曜日16:30〜18:00）の授業Blogです。

授業内容

  1. 前回の復習
  2. 証明の正規化
  3. 正規化定理の応用